Alan is big but round. Despite his size, Alan is always cold in his green sweater. Alan is very nice. Young Fred is red from staying in the sun too long.  Even though he is uncomfortable from feeling cold, he is still kind to others. My friend Gary is very young. People say he is nice for having a round shape. If a kind person is also young and round shaped, they will be colored blue. Cold, green people have a habit of eating alot and looking quite round. Anybody that is big is also someone who is going to be blue. If someone is colored red but is cold, they tend to show a lot of green. A cold and blue appearing person will be young as well.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and green then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and blue then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Fred is red.
True
1
proof
[(triple7)]
("Fred" "is" "red" "+")
triple7
Fred is not cold.
False
1
inv-proof
[(triple9)]
("Fred" "is" "cold" "-")
triple9
Alan is blue.
True
2
proof
[(((triple5) -> rule3))]
("Alan" "is" "blue" "+")
((triple5) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Fred is not green.
False
3
inv-proof
[(((triple7 triple9) -> rule4))]
("Fred" "is" "green" "-")
((triple7 triple9) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is round.
True
5
proof
[(((triple9 ((triple7 triple9) -> rule4)) -> rule2))]
("Fred" "is" "round" "+")
((triple9 ((triple7 triple9) -> (rule4 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Alan is not young.
False
4
inv-proof
[(((triple4 ((triple5) -> rule3)) -> rule5))]
("Alan" "is" "young" "-")
((triple4 ((triple5) -> (rule3 % int2))) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Fred is blue.
True
8
proof
[(((triple8 triple6 ((triple9 ((triple7 triple9) -> rule4)) -> rule2)) -> rule1))]
("Fred" "is" "blue" "+")
((triple8 triple6 ((triple9 ((triple7 triple9) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is not blue.
False
8
inv-proof
[(((triple8 triple6 ((triple9 ((triple7 triple9) -> rule4)) -> rule2)) -> rule1))]
("Fred" "is" "blue" "-")
((triple8 triple6 ((triple9 ((triple7 triple9) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "young" "+")
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "green" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is big.[(triple5)] Alan is cold.[(triple4)] Alan is green.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1 OR ((triple4 triple3) -> rule2))] Fred is cold.[(triple9)] Fred is kind.[(triple8)] Fred is red.[(triple7)] Fred is young.[(triple6)] Gary is nice.[(triple12)] Gary is round.[(triple11)] Gary is young.[(triple10)] @1: Alan is blue.[(((triple5) -> rule3))] Fred is green.[(((triple7 triple9) -> rule4))] @2: Alan is young.[(((triple4 ((triple5) -> rule3)) -> rule5))] Fred is round.[(((triple9 ((triple7 triple9) -> rule4)) -> rule2))] @3: Fred is blue.[(((triple8 triple6 ((triple9 ((triple7 triple9) -> rule4)) -> rule2)) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
((triple4 triple3) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple10
Alan is blue.
("Alan" "is" "blue" "+")
((triple5) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple7 triple9) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((triple4 ((triple5) -> (rule3 % int2))) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((triple9 ((triple7 triple9) -> (rule4 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((triple8 triple6 ((triple9 ((triple7 triple9) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Alan is big but round; Despite his size, Alan is always cold in his green sweater; Alan is very nice.
Young Fred is red from staying in the sun too long; Even though he is uncomfortable from feeling cold, he is still kind to others.
My friend Gary is very young; People say he is nice for having a round shape.
If a kind person is also young and round shaped, they will be colored blue.
Cold, green people have a habit of eating alot and looking quite round.
Anybody that is big is also someone who is going to be blue.
If someone is colored red but is cold, they tend to show a lot of green.
A cold and blue appearing person will be young as well.