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 young and big in stature.  He is cold but nice. Eric is big and rough. Because Harry gets cold easily he tends to appear round from bundling up. Green and blue people have a habit of being cold, which makes them red too. A round and nice person will certainly have a red tint to them. Cold people with rough, green skin are young. That young person is feeling cold because he is green to the situation making his body shape round. A young, nice person will turn out to be a green person also. John is round and rough, meaning that he is someone that is seen as green.
If someone is green and blue and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is round and nice then they are red.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and rough and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young and cold and green then they are round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice then they are green.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is round and rough then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Charlie is cold.
True
1
proof
[(triple6)]
("Charlie" "is" "cold" "+")
triple6
Harry is not cold.
False
1
inv-proof
[(triple11)]
("Harry" "is" "cold" "-")
triple11
Alan is green.
True
3
proof
[(((triple1 triple2) -> rule6))]
("Alan" "is" "green" "+")
((triple1 triple2) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Charlie is not green.
False
3
inv-proof
[(((triple4 triple5) -> rule5))]
("Charlie" "is" "green" "-")
((triple4 triple5) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Alan is young.
True
6
proof
[(((triple3 triple2 ((triple1 triple2) -> rule6)) -> rule3))]
("Alan" "is" "young" "+")
((triple3 triple2 ((triple1 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Charlie is not round.
False
6
inv-proof
[(((triple4 triple6 ((triple4 triple5) -> rule5)) -> rule4))]
("Charlie" "is" "round" "-")
((triple4 triple6 ((triple4 triple5) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
True
8
proof
[(((((triple4 triple6 ((triple4 triple5) -> rule5)) -> rule4) triple5) -> rule2))]
("Charlie" "is" "red" "+")
((((triple4 triple6 ((triple4 triple5) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not red.
False
8
inv-proof
[(((((triple4 triple6 ((triple4 triple5) -> rule5)) -> rule4) triple5) -> rule2))]
("Charlie" "is" "red" "-")
((((triple4 triple6 ((triple4 triple5) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "red" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "round" "+")
Eric is not red.
Unknown
inv-rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "red" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
@0: Alan is cold.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Charlie is big.[(triple7)] Charlie is cold.[(triple6)] Charlie is nice.[(triple5)] Charlie is young.[(triple4)] Eric is big.[(triple9)] Eric is rough.[(triple8)] Harry is cold.[(triple11)] Harry is round.[(triple10)] @1: Alan is green.[(((triple1 triple2) -> rule6))] Charlie is green.[(((triple4 triple5) -> rule5))] @2: Alan is young.[(((triple3 triple2 ((triple1 triple2) -> rule6)) -> rule3))] Charlie is round.[(((triple4 triple6 ((triple4 triple5) -> rule5)) -> rule4))] @3: Charlie is red.[(((((triple4 triple6 ((triple4 triple5) -> rule5)) -> rule4) triple5) -> rule2))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is rough.
("Eric" "is" "rough" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Alan is green.
("Alan" "is" "green" "+")
((triple1 triple2) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple4 triple5) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((triple3 triple2 ((triple1 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((triple4 triple6 ((triple4 triple5) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((((triple4 triple6 ((triple4 triple5) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
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 young and big in stature; He is cold but nice.
Eric is big and rough.
Because Harry gets cold easily he tends to appear round from bundling up.
Green and blue people have a habit of being cold, which makes them red too.
A round and nice person will certainly have a red tint to them.
Cold people with rough, green skin are young.
That young person is feeling cold because he is green to the situation making his body shape round.
A young, nice person will turn out to be a green person also.
John is round and rough, meaning that he is someone that is seen as green.