Bob is a kind and red colored guy. Charlie was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. They always call him rough Fred. Gary has rough skin so it is red. He is big but so very kind. I've noticed that kind people are also big. Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also. Show me someone who is cold and kind, and I'll show you how green they are. Anyone that is nice and kind and also green will usually be young as well. If smeone has a blue and green color, then they are young and probably kind. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin. Have you noticed that green and round folks are also so young.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and blue and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is green and nice and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and green and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and blue and round then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is green and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Fred is rough.
True
1
proof
[(triple6)]
("Fred" "is" "rough" "+")
triple6
Bob is not red.
False
1
inv-proof
[(triple1)]
("Bob" "is" "red" "-")
triple1
Bob is big.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "big" "+")
((triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Charlie is not young.
False
3
inv-proof
[(((triple4 triple3) -> rule7))]
("Charlie" "is" "young" "-")
((triple4 triple3) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
True
6
proof
[(((triple5 triple4 ((triple4 triple3) -> rule7)) -> rule5))]
("Charlie" "is" "kind" "+")
((triple5 triple4 ((triple4 triple3) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not kind.
False
6
inv-proof
[(((triple5 triple4 ((triple4 triple3) -> rule7)) -> rule5))]
("Charlie" "is" "kind" "-")
((triple5 triple4 ((triple4 triple3) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
True
7
proof
[(((((triple5 triple4 ((triple4 triple3) -> rule7)) -> rule5)) -> rule1))]
("Charlie" "is" "big" "+")
((((triple5 triple4 ((triple4 triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not big.
False
7
inv-proof
[(((((triple5 triple4 ((triple4 triple3) -> rule7)) -> rule5)) -> rule1))]
("Charlie" "is" "big" "-")
((((triple5 triple4 ((triple4 triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "green" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "young" "+")
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Bob is kind.[(triple2)] Bob is red.[(triple1)] Charlie is blue.[(triple5)] Charlie is green.[(triple4)] Charlie is round.[(triple3)] Fred is rough.[(triple6)] Gary is big.[(triple10 OR ((triple9) -> rule1))] Gary is kind.[(triple9)] Gary is red.[(triple8)] Gary is rough.[(triple7)] @1: Bob is big.[(((triple2) -> rule1))] Charlie is young.[(((triple4 triple3) -> rule7))] @2: Charlie is kind.[(((triple5 triple4 ((triple4 triple3) -> rule7)) -> rule5))] @3: Charlie is big.[(((((triple5 triple4 ((triple4 triple3) -> rule7)) -> rule5)) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple10
((triple9) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Bob is big.
("Bob" "is" "big" "+")
((triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple4 triple3) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple5 triple4 ((triple4 triple3) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((triple5 triple4 ((triple4 triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Bob is a kind and red colored guy.
Charlie was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
They always call him rough Fred.
Gary has rough skin so it is red; He is big but so very kind.
I've noticed that kind people are also big.
Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also.
Show me someone who is cold and kind, and I'll show you how green they are.
Anyone that is nice and kind and also green will usually be young as well.
If smeone has a blue and green color, then they are young and probably kind.
A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin.
Have you noticed that green and round folks are also so young.