Charlie is a person both green and big. Having a round body that is very big makes Dave a kind hearted person that often feels green. Fred ate some rotten meat and now feels green. Gary who is considered nice was feeling rather rough today. Young and nice people have great big smiles. Rough people, round from over eating, who are also cold are young and don't mind the draft. Anyone you find who happens to be kind and blue will also be very nice. If a person is quite big and also round then they are certainly rough too. A green and quite rough person will also be blue. If someone is red and green and feeels rough, they are kind.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is round and cold and rough then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and blue then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and green and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Dave is green.
True
1
proof
[(triple5)]
("Dave" "is" "green" "+")
triple5
Gary is not rough.
False
1
inv-proof
[(triple8)]
("Gary" "is" "rough" "-")
triple8
Dave is rough.
True
3
proof
[(((triple6 triple3) -> rule4))]
("Dave" "is" "rough" "+")
((triple6 triple3) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
3
inv-proof
[(((triple6 triple3) -> rule4))]
("Dave" "is" "rough" "-")
((triple6 triple3) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
True
5
proof
[(((((triple6 triple3) -> rule4) triple5) -> rule5))]
("Dave" "is" "blue" "+")
((((triple6 triple3) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not blue.
False
5
inv-proof
[(((((triple6 triple3) -> rule4) triple5) -> rule5))]
("Dave" "is" "blue" "-")
((((triple6 triple3) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
True
7
proof
[(((triple4 ((((triple6 triple3) -> rule4) triple5) -> rule5)) -> rule3))]
("Dave" "is" "nice" "+")
((triple4 ((((triple6 triple3) -> (rule4 % int3)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is not nice.
False
7
inv-proof
[(((triple4 ((((triple6 triple3) -> rule4) triple5) -> rule5)) -> rule3))]
("Dave" "is" "nice" "-")
((triple4 ((((triple6 triple3) -> (rule4 % int3)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Charlie is not blue.
Unknown
inv-rconc
[@2: Charlie is blue.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is nice.
Unknown
rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Charlie" "is" "nice" "+")
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "rough" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "kind" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Charlie is big.[(triple2)] Charlie is green.[(triple1)] Dave is big.[(triple6)] Dave is green.[(triple5)] Dave is kind.[(triple4)] Dave is round.[(triple3)] Fred is green.[(triple7)] Gary is nice.[(triple9)] Gary is rough.[(triple8)] @1: Dave is rough.[(((triple6 triple3) -> rule4))] @2: Dave is blue.[(((((triple6 triple3) -> rule4) triple5) -> rule5))] @3: Dave is nice.[(((triple4 ((((triple6 triple3) -> rule4) triple5) -> rule5)) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Fred is green.
("Fred" "is" "green" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
((triple6 triple3) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((((triple6 triple3) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((triple4 ((((triple6 triple3) -> (rule4 % int3)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Charlie is a person both green and big.
Having a round body that is very big makes Dave a kind hearted person that often feels green.
Fred ate some rotten meat and now feels green.
Gary who is considered nice was feeling rather rough today.
Young and nice people have great big smiles.
Rough people, round from over eating, who are also cold are young and don't mind the draft.
Anyone you find who happens to be kind and blue will also be very nice.
If a person is quite big and also round then they are certainly rough too.
A green and quite rough person will also be blue.
If someone is red and green and feeels rough, they are kind.