That man standing next to you with a big round body goes by the name of Charlie. Dave who is round and rough is also said to be nice and kind and is feeling green and blue. Fred is young, he is also red and green. A very kind and green colored person, who is also cold, will be nice. Kind people that are rough and round are also considered big. Big and round people can't help but be cold all of the time. Nice people who are big are always feeling blue. Red and round people will be cold even in the summer. A big, green person who is cold is assumed to be red also.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is green.
("Fred" "is" "green" "+")
If someone is kind and green and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and kind and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and round then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and big and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Fred is green.
True
1
proof
[(triple11)]
("Fred" "is" "green" "+")
triple11
Dave is not blue.
False
1
inv-proof
[(triple8 OR ((triple5 ((triple4 triple6 triple3) -> rule2)) -> rule4) OR ((((triple6 triple7 ((((triple4 triple6 triple3) -> rule2) triple3) -> rule3)) -> rule1) ((triple4 triple6 triple3) -> rule2)) -> rule4))]
("Dave" "is" "blue" "-")
triple8
((triple5 ((triple4 triple6 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple6 triple7 ((((triple4 triple6 triple3) -> (rule2 % int4)) triple3) -> (rule3 % int3))) -> (rule1 % int2)) ((triple4 triple6 triple3) -> (rule2 % int4))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Charlie is cold.
True
3
proof
[(((triple2 triple1) -> rule3))]
("Charlie" "is" "cold" "+")
((triple2 triple1) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
3
inv-proof
[(((triple2 triple1) -> rule3))]
("Charlie" "is" "cold" "-")
((triple2 triple1) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Dave is cold.
True
6
proof
[(((((triple4 triple6 triple3) -> rule2) triple3) -> rule3))]
("Dave" "is" "cold" "+")
((((triple4 triple6 triple3) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is not cold.
False
6
inv-proof
[(((((triple4 triple6 triple3) -> rule2) triple3) -> rule3))]
("Dave" "is" "cold" "-")
((((triple4 triple6 triple3) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
True
12
proof
[(((triple7 ((triple4 triple6 triple3) -> rule2) ((((triple4 triple6 triple3) -> rule2) triple3) -> rule3)) -> rule6))]
("Dave" "is" "red" "+")
((triple7 ((triple4 triple6 triple3) -> (rule2 % int3)) ((((triple4 triple6 triple3) -> (rule2 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is not red.
False
12
inv-proof
[(((triple7 ((triple4 triple6 triple3) -> rule2) ((((triple4 triple6 triple3) -> rule2) triple3) -> rule3)) -> rule6))]
("Dave" "is" "red" "-")
((triple7 ((triple4 triple6 triple3) -> (rule2 % int3)) ((((triple4 triple6 triple3) -> (rule2 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "nice" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "nice" "+")
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "red" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "big" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Charlie is big.[(triple2)] Charlie is round.[(triple1)] Dave is blue.[(triple8 OR ((triple5 ((triple4 triple6 triple3) -> rule2)) -> rule4) OR ((((triple6 triple7 ((((triple4 triple6 triple3) -> rule2) triple3) -> rule3)) -> rule1) ((triple4 triple6 triple3) -> rule2)) -> rule4))] Dave is green.[(triple7)] Dave is kind.[(triple6)] Dave is nice.[(triple5 OR ((triple6 triple7 ((((triple4 triple6 triple3) -> rule2) triple3) -> rule3)) -> rule1))] Dave is rough.[(triple4)] Dave is round.[(triple3)] Fred is green.[(triple11)] Fred is red.[(triple10)] Fred is young.[(triple9)] @1: Charlie is cold.[(((triple2 triple1) -> rule3))] Dave is big.[(((triple4 triple6 triple3) -> rule2))] @2: Dave is cold.[(((((triple4 triple6 triple3) -> rule2) triple3) -> rule3))] @3: Dave is red.[(((triple7 ((triple4 triple6 triple3) -> rule2) ((((triple4 triple6 triple3) -> rule2) triple3) -> rule3)) -> rule6))]
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple8
((triple5 ((triple4 triple6 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple6 triple7 ((((triple4 triple6 triple3) -> (rule2 % int4)) triple3) -> (rule3 % int3))) -> (rule1 % int2)) ((triple4 triple6 triple3) -> (rule2 % int4))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
((triple6 triple7 ((((triple4 triple6 triple3) -> (rule2 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Fred is green.
("Fred" "is" "green" "+")
triple11
Fred is red.
("Fred" "is" "red" "+")
triple10
Fred is young.
("Fred" "is" "young" "+")
triple9
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple2 triple1) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple4 triple6 triple3) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((((triple4 triple6 triple3) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((triple7 ((triple4 triple6 triple3) -> (rule2 % int3)) ((((triple4 triple6 triple3) -> (rule2 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
That man standing next to you with a big round body goes by the name of Charlie.
Dave who is round and rough is also said to be nice and kind and is feeling green and blue.
Fred is young, he is also red and green.
A very kind and green colored person, who is also cold, will be nice.
Kind people that are rough and round are also considered big.
Big and round people can't help but be cold all of the time.
Nice people who are big are always feeling blue.
Red and round people will be cold even in the summer.
A big, green person who is cold is assumed to be red also.