Cold, blue Bob is young, kind and green. Eric is big and dresses in blue. Gary has green teeth and rough skin. People also notice his blue eyes. If a person is blue, rough, and green, then they are also big. It's easy to be round and blue when you are young. People that feel green are cold to people that try to help them. Nice people are kind and rough when they are young. People who are rough and nice and blue can be round. A rough and round shaped person will be nice and also young. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Bob is young.
("Bob" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is blue and rough and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is round and blue then they are young.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and nice and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and round and nice then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Eric is blue.
True
1
proof
[(triple6)]
("Eric" "is" "blue" "+")
triple6
Bob is not kind.
False
1
inv-proof
[(triple2)]
("Bob" "is" "kind" "-")
triple2
Gary is cold.
True
2
proof
[(((triple9) -> rule3))]
("Gary" "is" "cold" "+")
((triple9) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not big.
False
4
inv-proof
[(((triple10 triple8 triple9) -> rule1))]
("Gary" "is" "big" "-")
((triple10 triple8 triple9) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
True
7
proof
[(((triple10 triple8 ((triple10 triple8 triple9) -> rule1)) -> rule7))]
("Gary" "is" "nice" "+")
((triple10 triple8 ((triple10 triple8 triple9) -> (rule1 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not nice.
False
7
inv-proof
[(((triple10 triple8 ((triple10 triple8 triple9) -> rule1)) -> rule7))]
("Gary" "is" "nice" "-")
((triple10 triple8 ((triple10 triple8 triple9) -> (rule1 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
True
10
proof
[(((triple8 ((triple10 triple8 ((triple10 triple8 triple9) -> rule1)) -> rule7) triple10) -> rule5))]
("Gary" "is" "round" "+")
((triple8 ((triple10 triple8 ((triple10 triple8 triple9) -> (rule1 % int3))) -> (rule7 % int2)) triple10) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not round.
False
10
inv-proof
[(((triple8 ((triple10 triple8 ((triple10 triple8 triple9) -> rule1)) -> rule7) triple10) -> rule5))]
("Gary" "is" "round" "-")
((triple8 ((triple10 triple8 ((triple10 triple8 triple9) -> (rule1 % int3))) -> (rule7 % int2)) triple10) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is young.
True
12
proof
[(((((triple8 ((triple10 triple8 ((triple10 triple8 triple9) -> rule1)) -> rule7) triple10) -> rule5) triple10) -> rule2) OR ((triple8 ((triple8 ((triple10 triple8 ((triple10 triple8 triple9) -> rule1)) -> rule7) triple10) -> rule5) ((triple10 triple8 ((triple10 triple8 triple9) -> rule1)) -> rule7)) -> rule6))]
("Gary" "is" "young" "+")
((((triple8 ((triple10 triple8 ((triple10 triple8 triple9) -> (rule1 % int4))) -> (rule7 % int3)) triple10) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((triple8 ((triple8 ((triple10 triple8 ((triple10 triple8 triple9) -> (rule1 % int4))) -> (rule7 % int3)) triple10) -> (rule5 % int2)) ((triple10 triple8 ((triple10 triple8 triple9) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is not young.
False
12
inv-proof
[(((((triple8 ((triple10 triple8 ((triple10 triple8 triple9) -> rule1)) -> rule7) triple10) -> rule5) triple10) -> rule2) OR ((triple8 ((triple8 ((triple10 triple8 ((triple10 triple8 triple9) -> rule1)) -> rule7) triple10) -> rule5) ((triple10 triple8 ((triple10 triple8 triple9) -> rule1)) -> rule7)) -> rule6))]
("Gary" "is" "young" "-")
((((triple8 ((triple10 triple8 ((triple10 triple8 triple9) -> (rule1 % int4))) -> (rule7 % int3)) triple10) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((triple8 ((triple8 ((triple10 triple8 ((triple10 triple8 triple9) -> (rule1 % int4))) -> (rule7 % int3)) triple10) -> (rule5 % int2)) ((triple10 triple8 ((triple10 triple8 triple9) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "round" "-")
Eric is young.
Unknown
rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Eric" "is" "young" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "nice" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "big" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "young" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Bob is blue.[(triple5)] Bob is cold.[(triple4 OR ((triple3) -> rule3))] Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is young.[(triple1)] Eric is big.[(triple7)] Eric is blue.[(triple6)] Gary is blue.[(triple10)] Gary is green.[(triple9)] Gary is rough.[(triple8)] @1: Gary is big.[(((triple10 triple8 triple9) -> rule1))] Gary is cold.[(((triple9) -> rule3))] @2: Gary is nice.[(((triple10 triple8 ((triple10 triple8 triple9) -> rule1)) -> rule7))] @3: Gary is round.[(((triple8 ((triple10 triple8 ((triple10 triple8 triple9) -> rule1)) -> rule7) triple10) -> rule5))] @4: Gary is young.[(((((triple8 ((triple10 triple8 ((triple10 triple8 triple9) -> rule1)) -> rule7) triple10) -> rule5) triple10) -> rule2) OR ((triple8 ((triple8 ((triple10 triple8 ((triple10 triple8 triple9) -> rule1)) -> rule7) triple10) -> rule5) ((triple10 triple8 ((triple10 triple8 triple9) -> rule1)) -> rule7)) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
((triple3) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
((triple10 triple8 triple9) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple9) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple10 triple8 ((triple10 triple8 triple9) -> (rule1 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple8 ((triple10 triple8 ((triple10 triple8 triple9) -> (rule1 % int3))) -> (rule7 % int2)) triple10) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((((triple8 ((triple10 triple8 ((triple10 triple8 triple9) -> (rule1 % int4))) -> (rule7 % int3)) triple10) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((triple8 ((triple8 ((triple10 triple8 ((triple10 triple8 triple9) -> (rule1 % int4))) -> (rule7 % int3)) triple10) -> (rule5 % int2)) ((triple10 triple8 ((triple10 triple8 triple9) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Cold, blue Bob is young, kind and green.
Eric is big and dresses in blue.
Gary has green teeth and rough skin; People also notice his blue eyes.
If a person is blue, rough, and green, then they are also big.
It's easy to be round and blue when you are young.
People that feel green are cold to people that try to help them.
Nice people are kind and rough when they are young.
People who are rough and nice and blue can be round.
A rough and round shaped person will be nice and also young.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.