They always call him rough Eric. Fred is red with anger because he's green with envy, like all young, rough boys. Gary looks red to most people, with blue features. Harry is big and round man that is looking rather green after seeing some bad mayonnaise. A round shaped and young aged person will be very cold. Incredible as it may seem, young people who are red and have kind attitudes are always round. Rough people will often be blue.  They thrive on being kind and nice. Young people who are nice and cold, are rather green. If someone is red and green and feeels rough, they are kind.
Eric is rough.
("Eric" "is" "rough" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is round and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and red and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and kind and blue then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and young and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and green and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Harry is green.
True
1
proof
[(triple9)]
("Harry" "is" "green" "+")
triple9
Gary is not red.
False
1
inv-proof
[(triple6)]
("Gary" "is" "red" "-")
triple6
Fred is kind.
True
4
proof
[(((triple3 triple5 triple4) -> rule5))]
("Fred" "is" "kind" "+")
((triple3 triple5 triple4) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is not kind.
False
4
inv-proof
[(((triple3 triple5 triple4) -> rule5))]
("Fred" "is" "kind" "-")
((triple3 triple5 triple4) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
True
7
proof
[(((triple2 triple4 ((triple3 triple5 triple4) -> rule5)) -> rule2))]
("Fred" "is" "round" "+")
((triple2 triple4 ((triple3 triple5 triple4) -> (rule5 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is not round.
False
7
inv-proof
[(((triple2 triple4 ((triple3 triple5 triple4) -> rule5)) -> rule2))]
("Fred" "is" "round" "-")
((triple2 triple4 ((triple3 triple5 triple4) -> (rule5 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is cold.
True
9
proof
[(((((triple2 triple4 ((triple3 triple5 triple4) -> rule5)) -> rule2) triple2) -> rule1))]
("Fred" "is" "cold" "+")
((((triple2 triple4 ((triple3 triple5 triple4) -> (rule5 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is not cold.
False
9
inv-proof
[(((((triple2 triple4 ((triple3 triple5 triple4) -> rule5)) -> rule2) triple2) -> rule1))]
("Fred" "is" "cold" "-")
((((triple2 triple4 ((triple3 triple5 triple4) -> (rule5 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "nice" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "kind" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "nice" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Eric is rough.[(triple1)] Fred is green.[(triple5)] Fred is red.[(triple4)] Fred is rough.[(triple3)] Fred is young.[(triple2)] Gary is blue.[(triple7)] Gary is red.[(triple6)] Harry is big.[(triple10)] Harry is green.[(triple9)] Harry is round.[(triple8)] @1: Fred is kind.[(((triple3 triple5 triple4) -> rule5))] @2: Fred is round.[(((triple2 triple4 ((triple3 triple5 triple4) -> rule5)) -> rule2))] @3: Fred is cold.[(((((triple2 triple4 ((triple3 triple5 triple4) -> rule5)) -> rule2) triple2) -> rule1))]
Eric is rough.
("Eric" "is" "rough" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple4
Fred is rough.
("Fred" "is" "rough" "+")
triple3
Fred is young.
("Fred" "is" "young" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
((triple3 triple5 triple4) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple2 triple4 ((triple3 triple5 triple4) -> (rule5 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((triple2 triple4 ((triple3 triple5 triple4) -> (rule5 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
They always call him rough Eric.
Fred is red with anger because he's green with envy, like all young, rough boys.
Gary looks red to most people, with blue features.
Harry is big and round man that is looking rather green after seeing some bad mayonnaise.
A round shaped and young aged person will be very cold.
Incredible as it may seem, young people who are red and have kind attitudes are always round.
Rough people will often be blue; They thrive on being kind and nice.
Young people who are nice and cold, are rather green.
If someone is red and green and feeels rough, they are kind.