That man standing next to you with a big round body goes by the name of Bob. Dave ate some rotten meat and now feels green. Round Eric is big and red, but blue from the cold. Gary is rough around the edges, but he's often blue and always nice. A nice young person who is rough around the edges is big. Cold people who are young and green are actually nice. You will probably see that big, round, blue people are green, too. You know when you meet a red, blue and kind person, that means they are green. Anyone with red and blue coloration also has green coloration. Big, green people that feel blue are mostly young. Nice green people who feel blue are often red in color.
Bob is round.
("Bob" "is" "round" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is young and nice and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and green and young then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and big and blue then they are green.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is red and blue and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is big and green and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is green and blue and nice then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Eric is big.
True
1
proof
[(triple8)]
("Eric" "is" "big" "+")
triple8
Bob is not big.
False
1
inv-proof
[(triple2)]
("Bob" "is" "big" "-")
triple2
Eric is green.
True
3
proof
[(((triple5 triple7) -> rule5) OR ((triple4 triple8 triple7) -> rule3))]
("Eric" "is" "green" "+")
((triple5 triple7) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
((triple4 triple8 triple7) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is not green.
False
3
inv-proof
[(((triple5 triple7) -> rule5) OR ((triple4 triple8 triple7) -> rule3))]
("Eric" "is" "green" "-")
((triple5 triple7) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
((triple4 triple8 triple7) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
True
6
proof
[(((triple8 ((triple5 triple7) -> rule5) triple7) -> rule6) OR ((triple8 ((triple4 triple8 triple7) -> rule3) triple7) -> rule6))]
("Eric" "is" "young" "+")
((triple8 ((triple5 triple7) -> (rule5 % int2)) triple7) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
((triple8 ((triple4 triple8 triple7) -> (rule3 % int2)) triple7) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not young.
False
6
inv-proof
[(((triple8 ((triple5 triple7) -> rule5) triple7) -> rule6) OR ((triple8 ((triple4 triple8 triple7) -> rule3) triple7) -> rule6))]
("Eric" "is" "young" "-")
((triple8 ((triple5 triple7) -> (rule5 % int2)) triple7) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
((triple8 ((triple4 triple8 triple7) -> (rule3 % int2)) triple7) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is nice.
True
11
proof
[(((triple6 ((triple5 triple7) -> rule5) ((triple8 ((triple5 triple7) -> rule5) triple7) -> rule6)) -> rule2) OR ((triple6 ((triple5 triple7) -> rule5) ((triple8 ((triple4 triple8 triple7) -> rule3) triple7) -> rule6)) -> rule2) OR ((triple6 ((triple4 triple8 triple7) -> rule3) ((triple8 ((triple5 triple7) -> rule5) triple7) -> rule6)) -> rule2) OR ((triple6 ((triple4 triple8 triple7) -> rule3) ((triple8 ((triple4 triple8 triple7) -> rule3) triple7) -> rule6)) -> rule2))]
("Eric" "is" "nice" "+")
((triple6 ((triple5 triple7) -> (rule5 % int3)) ((triple8 ((triple5 triple7) -> (rule5 % int3)) triple7) -> (rule6 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((triple6 ((triple5 triple7) -> (rule5 % int3)) ((triple8 ((triple4 triple8 triple7) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((triple6 ((triple4 triple8 triple7) -> (rule3 % int3)) ((triple8 ((triple5 triple7) -> (rule5 % int3)) triple7) -> (rule6 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((triple6 ((triple4 triple8 triple7) -> (rule3 % int3)) ((triple8 ((triple4 triple8 triple7) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not nice.
False
11
inv-proof
[(((triple6 ((triple5 triple7) -> rule5) ((triple8 ((triple5 triple7) -> rule5) triple7) -> rule6)) -> rule2) OR ((triple6 ((triple5 triple7) -> rule5) ((triple8 ((triple4 triple8 triple7) -> rule3) triple7) -> rule6)) -> rule2) OR ((triple6 ((triple4 triple8 triple7) -> rule3) ((triple8 ((triple5 triple7) -> rule5) triple7) -> rule6)) -> rule2) OR ((triple6 ((triple4 triple8 triple7) -> rule3) ((triple8 ((triple4 triple8 triple7) -> rule3) triple7) -> rule6)) -> rule2))]
("Eric" "is" "nice" "-")
((triple6 ((triple5 triple7) -> (rule5 % int3)) ((triple8 ((triple5 triple7) -> (rule5 % int3)) triple7) -> (rule6 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((triple6 ((triple5 triple7) -> (rule5 % int3)) ((triple8 ((triple4 triple8 triple7) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((triple6 ((triple4 triple8 triple7) -> (rule3 % int3)) ((triple8 ((triple5 triple7) -> (rule5 % int3)) triple7) -> (rule6 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((triple6 ((triple4 triple8 triple7) -> (rule3 % int3)) ((triple8 ((triple4 triple8 triple7) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "nice" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "red" "+")
Gary is not green.
Unknown
inv-rconc
[@3: Gary is green.[CWA. Example of deepest failure = (rule5 <- rule7 <- rule3 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is red.
Unknown
rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Gary" "is" "red" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is big.[(triple2)] Bob is round.[(triple1)] Dave is green.[(triple3)] Eric is big.[(triple8)] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Eric is red.[(triple5 OR ((((triple4 triple8 triple7) -> rule3) triple7 ((triple6 ((triple4 triple8 triple7) -> rule3) ((triple8 ((triple4 triple8 triple7) -> rule3) triple7) -> rule6)) -> rule2)) -> rule7))] Eric is round.[(triple4)] Gary is blue.[(triple11)] Gary is nice.[(triple10)] Gary is rough.[(triple9)] @1: Eric is green.[(((triple5 triple7) -> rule5) OR ((triple4 triple8 triple7) -> rule3))] @2: Eric is young.[(((triple8 ((triple5 triple7) -> rule5) triple7) -> rule6) OR ((triple8 ((triple4 triple8 triple7) -> rule3) triple7) -> rule6))] @3: Eric is nice.[(((triple6 ((triple5 triple7) -> rule5) ((triple8 ((triple5 triple7) -> rule5) triple7) -> rule6)) -> rule2) OR ((triple6 ((triple5 triple7) -> rule5) ((triple8 ((triple4 triple8 triple7) -> rule3) triple7) -> rule6)) -> rule2) OR ((triple6 ((triple4 triple8 triple7) -> rule3) ((triple8 ((triple5 triple7) -> rule5) triple7) -> rule6)) -> rule2) OR ((triple6 ((triple4 triple8 triple7) -> rule3) ((triple8 ((triple4 triple8 triple7) -> rule3) triple7) -> rule6)) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
((((triple4 triple8 triple7) -> (rule3 % int4)) triple7 ((triple6 ((triple4 triple8 triple7) -> (rule3 % int4)) ((triple8 ((triple4 triple8 triple7) -> (rule3 % int4)) triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Eric is green.
("Eric" "is" "green" "+")
((triple5 triple7) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
((triple4 triple8 triple7) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple8 ((triple5 triple7) -> (rule5 % int2)) triple7) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
((triple8 ((triple4 triple8 triple7) -> (rule3 % int2)) triple7) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((triple6 ((triple5 triple7) -> (rule5 % int3)) ((triple8 ((triple5 triple7) -> (rule5 % int3)) triple7) -> (rule6 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((triple6 ((triple5 triple7) -> (rule5 % int3)) ((triple8 ((triple4 triple8 triple7) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((triple6 ((triple4 triple8 triple7) -> (rule3 % int3)) ((triple8 ((triple5 triple7) -> (rule5 % int3)) triple7) -> (rule6 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((triple6 ((triple4 triple8 triple7) -> (rule3 % int3)) ((triple8 ((triple4 triple8 triple7) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
That man standing next to you with a big round body goes by the name of Bob.
Dave ate some rotten meat and now feels green.
Round Eric is big and red, but blue from the cold.
Gary is rough around the edges, but he's often blue and always nice.
A nice young person who is rough around the edges is big.
Cold people who are young and green are actually nice.
You will probably see that big, round, blue people are green, too.
You know when you meet a red, blue and kind person, that means they are green.
Anyone with red and blue coloration also has green coloration.
Big, green people that feel blue are mostly young.
Nice green people who feel blue are often red in color.