Alan was born only a few years ago so he is young. Young Charlie got into a fight that left him with red sores on his face. Because Dave is red, green and blue he is nice and kind. That big young man is Fred he can act in a somewhat rough manner but that's just because he feels very green here. Most young, green people are kind and because of this they are round. A human being described as rough, nice and round will also fit the description of being cold. When a person is blue, cold, and nice, they are also pretty young too. Kind people,though green,are cold.
Alan is young.
("Alan" "is" "young" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is red.
("Dave" "is" "red" "+")
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 rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is green and young and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and round and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and cold and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and green then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Fred is big.
True
1
proof
[(triple12)]
("Fred" "is" "big" "+")
triple12
Dave is not nice.
False
1
inv-proof
[(triple5)]
("Dave" "is" "nice" "-")
triple5
Dave is cold.
True
3
proof
[(((triple6 triple7) -> rule4))]
("Dave" "is" "cold" "+")
((triple6 triple7) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
3
inv-proof
[(((triple6 triple7) -> rule4))]
("Dave" "is" "cold" "-")
((triple6 triple7) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
True
6
proof
[(((triple8 ((triple6 triple7) -> rule4) triple5) -> rule3))]
("Dave" "is" "young" "+")
((triple8 ((triple6 triple7) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not young.
False
6
inv-proof
[(((triple8 ((triple6 triple7) -> rule4) triple5) -> rule3))]
("Dave" "is" "young" "-")
((triple8 ((triple6 triple7) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
True
9
proof
[(((triple7 ((triple8 ((triple6 triple7) -> rule4) triple5) -> rule3) triple6) -> rule1))]
("Dave" "is" "round" "+")
((triple7 ((triple8 ((triple6 triple7) -> (rule4 % int3)) triple5) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not round.
False
9
inv-proof
[(((triple7 ((triple8 ((triple6 triple7) -> rule4) triple5) -> rule3) triple6) -> rule1))]
("Dave" "is" "round" "-")
((triple7 ((triple8 ((triple6 triple7) -> (rule4 % int3)) triple5) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "cold" "+")
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "cold" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "round" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Alan is young.[(triple1)] Charlie is red.[(triple3)] Charlie is young.[(triple2)] Dave is blue.[(triple8)] Dave is green.[(triple7)] Dave is kind.[(triple6)] Dave is nice.[(triple5)] Dave is red.[(triple4)] Fred is big.[(triple12)] Fred is green.[(triple11)] Fred is rough.[(triple10)] Fred is young.[(triple9)] @1: Dave is cold.[(((triple6 triple7) -> rule4))] @2: Dave is young.[(((triple8 ((triple6 triple7) -> rule4) triple5) -> rule3))] @3: Dave is round.[(((triple7 ((triple8 ((triple6 triple7) -> rule4) triple5) -> rule3) triple6) -> rule1))]
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple12
Fred is green.
("Fred" "is" "green" "+")
triple11
Fred is rough.
("Fred" "is" "rough" "+")
triple10
Fred is young.
("Fred" "is" "young" "+")
triple9
Dave is cold.
("Dave" "is" "cold" "+")
((triple6 triple7) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple8 ((triple6 triple7) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple7 ((triple8 ((triple6 triple7) -> (rule4 % int3)) triple5) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Alan was born only a few years ago so he is young.
Young Charlie got into a fight that left him with red sores on his face.
Because Dave is red, green and blue he is nice and kind.
That big young man is Fred he can act in a somewhat rough manner but that's just because he feels very green here.
Most young, green people are kind and because of this they are round.
A human being described as rough, nice and round will also fit the description of being cold.
When a person is blue, cold, and nice, they are also pretty young too.
Kind people,though green,are cold.