Dave is a person who is young and also rough. He's also someone who is big and blue. Eric ate some rotten meat and now feels green. Red Fred is what folks call him, because he is quite red. Young Gary is a round fellow: sometimes nice, sometimes rough. A nice green person that tends to be rough will indeed be round too. Young and nice people have great big smiles. A big and young, round someone looks red. Blue people who are rough are often young. Humans who are nice to others while they are young and red will also be green.
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is red.
("Fred" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is green and nice and rough then they are round.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big and young and round then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and young and red then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Dave is rough.
True
1
proof
[(triple2)]
("Dave" "is" "rough" "+")
triple2
Fred is not red.
False
1
inv-proof
[(triple6)]
("Fred" "is" "red" "-")
triple6
Gary is big.
True
3
proof
[(((triple7 triple10) -> rule2))]
("Gary" "is" "big" "+")
((triple7 triple10) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
3
inv-proof
[(((triple7 triple10) -> rule2))]
("Gary" "is" "big" "-")
((triple7 triple10) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
True
6
proof
[(((((triple7 triple10) -> rule2) triple7 triple8) -> rule3))]
("Gary" "is" "red" "+")
((((triple7 triple10) -> (rule2 % int2)) triple7 triple8) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not red.
False
6
inv-proof
[(((((triple7 triple10) -> rule2) triple7 triple8) -> rule3))]
("Gary" "is" "red" "-")
((((triple7 triple10) -> (rule2 % int2)) triple7 triple8) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
True
9
proof
[(((triple10 triple7 ((((triple7 triple10) -> rule2) triple7 triple8) -> rule3)) -> rule5))]
("Gary" "is" "green" "+")
((triple10 triple7 ((((triple7 triple10) -> (rule2 % int3)) triple7 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not green.
False
9
inv-proof
[(((triple10 triple7 ((((triple7 triple10) -> rule2) triple7 triple8) -> rule3)) -> rule5))]
("Gary" "is" "green" "-")
((triple10 triple7 ((((triple7 triple10) -> (rule2 % int3)) triple7 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "big" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "round" "+")
Dave is not red.
Unknown
inv-rconc
[@2: Dave is red.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Dave" "is" "red" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "big" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Dave is big.[(triple4)] Dave is blue.[(triple3)] Dave is rough.[(triple2)] Dave is young.[(triple1 OR ((triple2 triple3) -> rule4))] Eric is green.[(triple5)] Fred is red.[(triple6)] Gary is nice.[(triple10)] Gary is rough.[(triple9)] Gary is round.[(triple8)] Gary is young.[(triple7)] @1: Gary is big.[(((triple7 triple10) -> rule2))] @2: Gary is red.[(((((triple7 triple10) -> rule2) triple7 triple8) -> rule3))] @3: Gary is green.[(((triple10 triple7 ((((triple7 triple10) -> rule2) triple7 triple8) -> rule3)) -> rule5))]
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
((triple2 triple3) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
((triple7 triple10) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((((triple7 triple10) -> (rule2 % int2)) triple7 triple8) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple10 triple7 ((((triple7 triple10) -> (rule2 % int3)) triple7 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Dave is a person who is young and also rough; He's also someone who is big and blue.
Eric ate some rotten meat and now feels green.
Red Fred is what folks call him, because he is quite red.
Young Gary is a round fellow: sometimes nice, sometimes rough.
A nice green person that tends to be rough will indeed be round too.
Young and nice people have great big smiles.
A big and young, round someone looks red.
Blue people who are rough are often young.
Humans who are nice to others while they are young and red will also be green.