Alan wears all blue. When you talk about Charlie, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. Dave is nice and young with red hair and a blue shirt. Anyone in the world who is nice, red, and young, is simultaneously rough. People,though rough and red,tend to be cold too. Have you noticed that green and round folks are also so young. A nice red person that is cold is always big, I have found. People who are blue and cold are red. Whenever somebody can be described as rough, round and cold, they can also be described as young.
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is blue.
("Dave" "is" "blue" "+")
If someone is nice and red and young then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is red and nice and cold then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and cold then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and rough and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Dave is blue.
True
1
proof
[(triple8)]
("Dave" "is" "blue" "+")
triple8
Charlie is not cold.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "cold" "-")
triple4
Dave is rough.
True
4
proof
[(((triple7 triple6 triple5) -> rule1))]
("Dave" "is" "rough" "+")
((triple7 triple6 triple5) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
4
inv-proof
[(((triple7 triple6 triple5) -> rule1))]
("Dave" "is" "rough" "-")
((triple7 triple6 triple5) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
True
6
proof
[(((((triple7 triple6 triple5) -> rule1) triple6) -> rule2))]
("Dave" "is" "cold" "+")
((((triple7 triple6 triple5) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not cold.
False
6
inv-proof
[(((((triple7 triple6 triple5) -> rule1) triple6) -> rule2))]
("Dave" "is" "cold" "-")
((((triple7 triple6 triple5) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is big.
True
9
proof
[(((triple6 triple7 ((((triple7 triple6 triple5) -> rule1) triple6) -> rule2)) -> rule4))]
("Dave" "is" "big" "+")
((triple6 triple7 ((((triple7 triple6 triple5) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is not big.
False
9
inv-proof
[(((triple6 triple7 ((((triple7 triple6 triple5) -> rule1) triple6) -> rule2)) -> rule4))]
("Dave" "is" "big" "-")
((triple6 triple7 ((((triple7 triple6 triple5) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "big" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "rough" "+")
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "young" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "big" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Alan is blue.[(triple1)] Charlie is cold.[(triple4)] Charlie is nice.[(triple3)] Charlie is rough.[(triple2)] Dave is blue.[(triple8)] Dave is nice.[(triple7)] Dave is red.[(triple6)] Dave is young.[(triple5)] @1: Dave is rough.[(((triple7 triple6 triple5) -> rule1))] @2: Dave is cold.[(((((triple7 triple6 triple5) -> rule1) triple6) -> rule2))] @3: Dave is big.[(((triple6 triple7 ((((triple7 triple6 triple5) -> rule1) triple6) -> rule2)) -> rule4))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
((triple7 triple6 triple5) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((((triple7 triple6 triple5) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((triple6 triple7 ((((triple7 triple6 triple5) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Alan wears all blue.
When you talk about Charlie, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone.
Dave is nice and young with red hair and a blue shirt.
Anyone in the world who is nice, red, and young, is simultaneously rough.
People,though rough and red,tend to be cold too.
Have you noticed that green and round folks are also so young.
A nice red person that is cold is always big, I have found.
People who are blue and cold are red.
Whenever somebody can be described as rough, round and cold, they can also be described as young.