Being young, Charlie is still green and blue. Big Eric is fairly young. When he was a small child he would wear his parka and you could see his little green body in the distance. His lips would turn blue when he was cold. Gary is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. All people that are rough and cold, as well as nice will be kind if you talk to them. Round, blue, and green people are poften rough. I have found that young, blue, and big individuals are also red. You can count on someone who is red and green being young. A person that is the color red will definitely be round shaped.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is nice and rough and cold then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and green and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and blue and big then they are red.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is red and green then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Eric is cold.
True
1
proof
[(triple6)]
("Eric" "is" "cold" "+")
triple6
Gary is not round.
False
1
inv-proof
[(triple9)]
("Gary" "is" "round" "-")
triple9
Eric is red.
True
4
proof
[(((triple4 triple7 triple8) -> rule3))]
("Eric" "is" "red" "+")
((triple4 triple7 triple8) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is not red.
False
4
inv-proof
[(((triple4 triple7 triple8) -> rule3))]
("Eric" "is" "red" "-")
((triple4 triple7 triple8) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
True
5
proof
[(((((triple4 triple7 triple8) -> rule3)) -> rule5))]
("Eric" "is" "round" "+")
((((triple4 triple7 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not round.
False
5
inv-proof
[(((((triple4 triple7 triple8) -> rule3)) -> rule5))]
("Eric" "is" "round" "-")
((((triple4 triple7 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is rough.
True
8
proof
[(((triple7 triple5 ((((triple4 triple7 triple8) -> rule3)) -> rule5)) -> rule2))]
("Eric" "is" "rough" "+")
((triple7 triple5 ((((triple4 triple7 triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not rough.
False
8
inv-proof
[(((triple7 triple5 ((((triple4 triple7 triple8) -> rule3)) -> rule5)) -> rule2))]
("Eric" "is" "rough" "-")
((triple7 triple5 ((((triple4 triple7 triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "rough" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "red" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is blue.[(triple3)] Charlie is green.[(triple2)] Charlie is young.[(triple1)] Eric is big.[(triple8)] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Eric is green.[(triple5)] Eric is young.[(triple4)] Gary is blue.[(triple11)] Gary is nice.[(triple10)] Gary is round.[(triple9)] @1: Eric is red.[(((triple4 triple7 triple8) -> rule3))] @2: Eric is round.[(((((triple4 triple7 triple8) -> rule3)) -> rule5))] @3: Eric is rough.[(((triple7 triple5 ((((triple4 triple7 triple8) -> rule3)) -> rule5)) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
((triple4 triple7 triple8) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((((triple4 triple7 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((triple7 triple5 ((((triple4 triple7 triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Being young, Charlie is still green and blue.
Big Eric is fairly young; When he was a small child he would wear his parka and you could see his little green body in the distance; His lips would turn blue when he was cold.
Gary is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
All people that are rough and cold, as well as nice will be kind if you talk to them.
Round, blue, and green people are poften rough.
I have found that young, blue, and big individuals are also red.
You can count on someone who is red and green being young.
A person that is the color red will definitely be round shaped.