Alan wears all blue. Bob is a kind and red colored guy. Although Eric is seen as nice and round, his days of playing football have made him quite rough. Gary always goes out of his way to show that he is kind to people. Any big, kind person that turns red is cold to the touch. A human that's round, red and kind will be also be a green human. Red and kind people always seem to be big as well. If a nice person is round shaped, they feel blue about it. If a person is quite big and also round then they are certainly rough too. A person that is the color red will definitely be round shaped. Kind people who look green are almost always young in age.
Alan is blue.
("Alan" "is" "blue" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is red and big and kind then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and round and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is red and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is green and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Eric is nice.
True
1
proof
[(triple6)]
("Eric" "is" "nice" "+")
triple6
Gary is not kind.
False
1
inv-proof
[(triple7)]
("Gary" "is" "kind" "-")
triple7
Bob is big.
True
3
proof
[(((triple2 triple3) -> rule3))]
("Bob" "is" "big" "+")
((triple2 triple3) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
3
inv-proof
[(((triple2 triple3) -> rule3))]
("Bob" "is" "big" "-")
((triple2 triple3) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
True
5
proof
[(((triple2 ((triple2) -> rule6) triple3) -> rule2))]
("Bob" "is" "green" "+")
((triple2 ((triple2) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not green.
False
5
inv-proof
[(((triple2 ((triple2) -> rule6) triple3) -> rule2))]
("Bob" "is" "green" "-")
((triple2 ((triple2) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
True
7
proof
[(((((triple2 ((triple2) -> rule6) triple3) -> rule2) triple3) -> rule7))]
("Bob" "is" "young" "+")
((((triple2 ((triple2) -> (rule6 % int3)) triple3) -> (rule2 % int2)) triple3) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not young.
False
7
inv-proof
[(((((triple2 ((triple2) -> rule6) triple3) -> rule2) triple3) -> rule7))]
("Bob" "is" "young" "-")
((((triple2 ((triple2) -> (rule6 % int3)) triple3) -> (rule2 % int2)) triple3) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "big" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "cold" "+")
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "blue" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "blue" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Alan is blue.[(triple1)] Bob is kind.[(triple3)] Bob is red.[(triple2)] Eric is nice.[(triple6)] Eric is rough.[(triple5)] Eric is round.[(triple4)] Gary is kind.[(triple7)] @1: Bob is big.[(((triple2 triple3) -> rule3))] Bob is round.[(((triple2) -> rule6))] Eric is blue.[(((triple6 triple4) -> rule4))] @2: Bob is cold.[(((triple2 ((triple2 triple3) -> rule3) triple3) -> rule1))] Bob is green.[(((triple2 ((triple2) -> rule6) triple3) -> rule2))] Bob is rough.[(((((triple2 triple3) -> rule3) ((triple2) -> rule6)) -> rule5))] @3: Bob is young.[(((((triple2 ((triple2) -> rule6) triple3) -> rule2) triple3) -> rule7))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Bob is big.
("Bob" "is" "big" "+")
((triple2 triple3) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple2) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple6 triple4) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple2 ((triple2 triple3) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple2 ((triple2) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((((triple2 triple3) -> (rule3 % int3)) ((triple2) -> (rule6 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((((triple2 ((triple2) -> (rule6 % int3)) triple3) -> (rule2 % int2)) triple3) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Alan wears all blue.
Bob is a kind and red colored guy.
Although Eric is seen as nice and round, his days of playing football have made him quite rough.
Gary always goes out of his way to show that he is kind to people.
Any big, kind person that turns red is cold to the touch.
A human that's round, red and kind will be also be a green human.
Red and kind people always seem to be big as well.
If a nice person is round shaped, they feel blue about it.
If a person is quite big and also round then they are certainly rough too.
A person that is the color red will definitely be round shaped.
Kind people who look green are almost always young in age.