Alan loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. Charlie is rough, round and young but also red. From a certain angle Dave is blue but he is young so maybe that will go away. Fred is rough, but often feels blue. He is pretty young. A green person who is cold and round is also big. People with big hands and red, rough skin are terribly kind. A rough person that is cold towards others is green. Young people with red skin that play rough are actually quite kind. When someone is big with rough skin they will look red. Big, blue people are red. Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is cold and round and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and big and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is young and rough and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and big then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and big then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is red and young and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Dave is blue.
True
1
proof
[(triple9)]
("Dave" "is" "blue" "+")
triple9
Charlie is not young.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "young" "-")
triple4
Charlie is blue.
True
4
proof
[(((triple7 triple4 triple6) -> rule7))]
("Charlie" "is" "blue" "+")
((triple7 triple4 triple6) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Alan is not green.
False
3
inv-proof
[(((triple2 triple3) -> rule3))]
("Alan" "is" "green" "-")
((triple2 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
True
6
proof
[(((triple3 triple1 ((triple2 triple3) -> rule3)) -> rule1))]
("Alan" "is" "big" "+")
((triple3 triple1 ((triple2 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is not big.
False
6
inv-proof
[(((triple3 triple1 ((triple2 triple3) -> rule3)) -> rule1))]
("Alan" "is" "big" "-")
((triple3 triple1 ((triple2 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is red.
True
8
proof
[(((triple2 ((triple3 triple1 ((triple2 triple3) -> rule3)) -> rule1)) -> rule5))]
("Alan" "is" "red" "+")
((triple2 ((triple3 triple1 ((triple2 triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is not red.
False
8
inv-proof
[(((triple2 ((triple3 triple1 ((triple2 triple3) -> rule3)) -> rule1)) -> rule5))]
("Alan" "is" "red" "-")
((triple2 ((triple3 triple1 ((triple2 triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is kind.
True
16
proof
[(((triple2 ((triple3 triple1 ((triple2 triple3) -> rule3)) -> rule1) ((triple2 ((triple3 triple1 ((triple2 triple3) -> rule3)) -> rule1)) -> rule5)) -> rule2))]
("Alan" "is" "kind" "+")
((triple2 ((triple3 triple1 ((triple2 triple3) -> (rule3 % int4))) -> (rule1 % int3)) ((triple2 ((triple3 triple1 ((triple2 triple3) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan is not kind.
False
16
inv-proof
[(((triple2 ((triple3 triple1 ((triple2 triple3) -> rule3)) -> rule1) ((triple2 ((triple3 triple1 ((triple2 triple3) -> rule3)) -> rule1)) -> rule5)) -> rule2))]
("Alan" "is" "kind" "-")
((triple2 ((triple3 triple1 ((triple2 triple3) -> (rule3 % int4))) -> (rule1 % int3)) ((triple2 ((triple3 triple1 ((triple2 triple3) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Fred is not red.
Unknown
inv-rconc
[@2: Fred is red.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Fred" "is" "red" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "+")
Dave is not red.
Unknown
inv-rconc
[@2: Dave is red.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Dave" "is" "red" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "big" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
@0: Alan is cold.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Charlie is red.[(triple7)] Charlie is rough.[(triple6)] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Dave is blue.[(triple9)] Dave is young.[(triple8)] Fred is blue.[(triple12)] Fred is rough.[(triple11)] Fred is young.[(triple10)] @1: Alan is green.[(((triple2 triple3) -> rule3))] Charlie is blue.[(((triple7 triple4 triple6) -> rule7))] Charlie is kind.[(((triple4 triple6 triple7) -> rule4))] @2: Alan is big.[(((triple3 triple1 ((triple2 triple3) -> rule3)) -> rule1))] @3: Alan is red.[(((triple2 ((triple3 triple1 ((triple2 triple3) -> rule3)) -> rule1)) -> rule5))] @4: Alan is kind.[(((triple2 ((triple3 triple1 ((triple2 triple3) -> rule3)) -> rule1) ((triple2 ((triple3 triple1 ((triple2 triple3) -> rule3)) -> rule1)) -> rule5)) -> rule2))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple8
Fred is blue.
("Fred" "is" "blue" "+")
triple12
Fred is rough.
("Fred" "is" "rough" "+")
triple11
Fred is young.
("Fred" "is" "young" "+")
triple10
Alan is green.
("Alan" "is" "green" "+")
((triple2 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple7 triple4 triple6) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4 triple6 triple7) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
((triple3 triple1 ((triple2 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((triple2 ((triple3 triple1 ((triple2 triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
((triple2 ((triple3 triple1 ((triple2 triple3) -> (rule3 % int4))) -> (rule1 % int3)) ((triple2 ((triple3 triple1 ((triple2 triple3) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan loves cake which has made him quite round; Because he has been made fun of for quite some time, he has turned rough and cold towards others.
Charlie is rough, round and young but also red.
From a certain angle Dave is blue but he is young so maybe that will go away.
Fred is rough, but often feels blue; He is pretty young.
A green person who is cold and round is also big.
People with big hands and red, rough skin are terribly kind.
A rough person that is cold towards others is green.
Young people with red skin that play rough are actually quite kind.
When someone is big with rough skin they will look red.
Big, blue people are red.
Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue.