Alan grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Eric has a big round body which makes him feel blue about how rough he looks and fills him with red anger. Gary always goes out of his way to show that he is kind to people. You make someone round and green, and they'll turn out nice. I see it all the time, nice big people make equal a cold person. A quite nice person will certainly be red. Have you noticed that green and round folks are also so young. A blue and round human being will also be a green human being.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is round and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is green and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Eric is round.
True
1
proof
[(triple3)]
("Eric" "is" "round" "+")
triple3
Alan is not blue.
False
1
inv-proof
[(triple2)]
("Alan" "is" "blue" "-")
triple2
Eric is green.
True
3
proof
[(((triple6 triple3) -> rule5))]
("Eric" "is" "green" "+")
((triple6 triple3) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is not green.
False
3
inv-proof
[(((triple6 triple3) -> rule5))]
("Eric" "is" "green" "-")
((triple6 triple3) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
True
5
proof
[(((triple3 ((triple6 triple3) -> rule5)) -> rule1))]
("Eric" "is" "nice" "+")
((triple3 ((triple6 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not nice.
False
5
inv-proof
[(((triple3 ((triple6 triple3) -> rule5)) -> rule1))]
("Eric" "is" "nice" "-")
((triple3 ((triple6 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is cold.
True
7
proof
[(((((triple3 ((triple6 triple3) -> rule5)) -> rule1) triple7) -> rule2))]
("Eric" "is" "cold" "+")
((((triple3 ((triple6 triple3) -> (rule5 % int3))) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not cold.
False
7
inv-proof
[(((((triple3 ((triple6 triple3) -> rule5)) -> rule1) triple7) -> rule2))]
("Eric" "is" "cold" "-")
((((triple3 ((triple6 triple3) -> (rule5 % int3))) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "nice" "-")
Gary is red.
Unknown
rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Gary" "is" "red" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Alan is blue.[(triple2)] Alan is rough.[(triple1)] Eric is big.[(triple7)] Eric is blue.[(triple6)] Eric is red.[(triple5 OR ((((triple3 ((triple6 triple3) -> rule5)) -> rule1)) -> rule3))] Eric is rough.[(triple4)] Eric is round.[(triple3)] Gary is kind.[(triple8)] @1: Eric is green.[(((triple6 triple3) -> rule5))] @2: Eric is nice.[(((triple3 ((triple6 triple3) -> rule5)) -> rule1))] Eric is young.[(((((triple6 triple3) -> rule5) triple3) -> rule4))] @3: Eric is cold.[(((((triple3 ((triple6 triple3) -> rule5)) -> rule1) triple7) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
((((triple3 ((triple6 triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Eric is round.
("Eric" "is" "round" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Eric is green.
("Eric" "is" "green" "+")
((triple6 triple3) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple3 ((triple6 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((((triple6 triple3) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((((triple3 ((triple6 triple3) -> (rule5 % int3))) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Alan grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Eric has a big round body which makes him feel blue about how rough he looks and fills him with red anger.
Gary always goes out of his way to show that he is kind to people.
You make someone round and green, and they'll turn out nice.
I see it all the time, nice big people make equal a cold person.
A quite nice person will certainly be red.
Have you noticed that green and round folks are also so young.
A blue and round human being will also be a green human being.