Red Alan is what folks call him, because he is quite red. Even though Charlie is young, he is still very round and still very red. Young Fred is big and round from his mother's good cooking.  Fred is the kind of kid who is nice and kind to everyone and who is red with a sunburn. A green and blue colored person who is young will certainly be big. Any rather round person exposed to weather that leaves them red and cold will feel blue. Big, blue people are red. Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy. Big kind people are usually cold.
If someone is green and young and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is round and red and cold then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and red and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Fred is round.
True
1
proof
[(triple6)]
("Fred" "is" "round" "+")
triple6
Fred is not young.
False
1
inv-proof
[(triple5)]
("Fred" "is" "young" "-")
triple5
Fred is cold.
True
3
proof
[(((triple9 triple10) -> rule5))]
("Fred" "is" "cold" "+")
((triple9 triple10) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is not cold.
False
3
inv-proof
[(((triple9 triple10) -> rule5))]
("Fred" "is" "cold" "-")
((triple9 triple10) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is blue.
True
6
proof
[(((triple6 triple7 ((triple9 triple10) -> rule5)) -> rule2))]
("Fred" "is" "blue" "+")
((triple6 triple7 ((triple9 triple10) -> (rule5 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is not blue.
False
6
inv-proof
[(((triple6 triple7 ((triple9 triple10) -> rule5)) -> rule2))]
("Fred" "is" "blue" "-")
((triple6 triple7 ((triple9 triple10) -> (rule5 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is green.
True
9
proof
[(((((triple6 triple7 ((triple9 triple10) -> rule5)) -> rule2) triple7 triple9) -> rule4))]
("Fred" "is" "green" "+")
((((triple6 triple7 ((triple9 triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple7 triple9) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is not green.
False
9
inv-proof
[(((((triple6 triple7 ((triple9 triple10) -> rule5)) -> rule2) triple7 triple9) -> rule4))]
("Fred" "is" "green" "-")
((((triple6 triple7 ((triple9 triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple7 triple9) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "blue" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "cold" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "green" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "green" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
@0: Alan is red.[(triple1)] Charlie is red.[(triple4)] Charlie is round.[(triple3)] Charlie is young.[(triple2)] Fred is big.[(triple10)] Fred is kind.[(triple9)] Fred is nice.[(triple8)] Fred is red.[(triple7)] Fred is round.[(triple6)] Fred is young.[(triple5)] @1: Fred is cold.[(((triple9 triple10) -> rule5))] @2: Fred is blue.[(((triple6 triple7 ((triple9 triple10) -> rule5)) -> rule2))] @3: Fred is green.[(((((triple6 triple7 ((triple9 triple10) -> rule5)) -> rule2) triple7 triple9) -> rule4))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Fred is cold.
("Fred" "is" "cold" "+")
((triple9 triple10) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple6 triple7 ((triple9 triple10) -> (rule5 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((((triple6 triple7 ((triple9 triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple7 triple9) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Red Alan is what folks call him, because he is quite red.
Even though Charlie is young, he is still very round and still very red.
Young Fred is big and round from his mother's good cooking; Fred is the kind of kid who is nice and kind to everyone and who is red with a sunburn.
A green and blue colored person who is young will certainly be big.
Any rather round person exposed to weather that leaves them red and cold will feel blue.
Big, blue people are red.
Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy.
Big kind people are usually cold.