Young Alan is wearing green pants. Charlie always goes out of his way to show that he is kind to people. Eric 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. Gary is kind and has rough, round hands that are red. Gary is green with envy when he looks at people who don't have to work. A kind person with green and red skin must be big too. Big, round, red people are always so young. Young,round people tend to be rough and big. If you meet someone who is big and kind with cold skin, they will be young. If you ever find someone who's nice, rough, and blue, expect them to also be green. There is a trend I've noticed if someone is nice, kind and big they are also young in appearance. If you meet a young and kind person who is also rough, they are cold, too.
Alan is young.
("Alan" "is" "young" "+")
Alan is green.
("Alan" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is green and kind and red then they are big.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is big and round and red then they are young.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and young and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and cold and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and rough and blue then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and kind and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and young and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Gary is round.
True
1
proof
[(triple6)]
("Gary" "is" "round" "+")
triple6
Eric is not blue.
False
1
inv-proof
[(triple5)]
("Eric" "is" "blue" "-")
triple5
Gary is big.
True
4
proof
[(((triple10 triple9 triple8) -> rule1))]
("Gary" "is" "big" "+")
((triple10 triple9 triple8) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
4
inv-proof
[(((triple10 triple9 triple8) -> rule1))]
("Gary" "is" "big" "-")
((triple10 triple9 triple8) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
True
7
proof
[(((((triple10 triple9 triple8) -> rule1) triple6 triple8) -> rule2))]
("Gary" "is" "young" "+")
((((triple10 triple9 triple8) -> (rule1 % int2)) triple6 triple8) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not young.
False
7
inv-proof
[(((((triple10 triple9 triple8) -> rule1) triple6 triple8) -> rule2))]
("Gary" "is" "young" "-")
((((triple10 triple9 triple8) -> (rule1 % int2)) triple6 triple8) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
True
10
proof
[(((triple7 ((((triple10 triple9 triple8) -> rule1) triple6 triple8) -> rule2) triple9) -> rule7))]
("Gary" "is" "cold" "+")
((triple7 ((((triple10 triple9 triple8) -> (rule1 % int3)) triple6 triple8) -> (rule2 % int2)) triple9) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not cold.
False
10
inv-proof
[(((triple7 ((((triple10 triple9 triple8) -> rule1) triple6 triple8) -> rule2) triple9) -> rule7))]
("Gary" "is" "cold" "-")
((triple7 ((((triple10 triple9 triple8) -> (rule1 % int3)) triple6 triple8) -> (rule2 % int2)) triple9) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "big" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not young.
Unknown
inv-rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
@0: Alan is green.[(triple2)] Alan is young.[(triple1)] Charlie is kind.[(triple3)] Eric is blue.[(triple5)] Eric is rough.[(triple4)] Gary is green.[(triple10)] Gary is kind.[(triple9)] Gary is red.[(triple8)] Gary is rough.[(triple7)] Gary is round.[(triple6)] @1: Gary is big.[(((triple10 triple9 triple8) -> rule1))] @2: Gary is young.[(((((triple10 triple9 triple8) -> rule1) triple6 triple8) -> rule2))] @3: Gary is cold.[(((triple7 ((((triple10 triple9 triple8) -> rule1) triple6 triple8) -> rule2) triple9) -> rule7))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
((triple10 triple9 triple8) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((((triple10 triple9 triple8) -> (rule1 % int2)) triple6 triple8) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple7 ((((triple10 triple9 triple8) -> (rule1 % int3)) triple6 triple8) -> (rule2 % int2)) triple9) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Young Alan is wearing green pants.
Charlie always goes out of his way to show that he is kind to people.
Eric 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.
Gary is kind and has rough, round hands that are red; Gary is green with envy when he looks at people who don't have to work.
A kind person with green and red skin must be big too.
Big, round, red people are always so young.
Young,round people tend to be rough and big.
If you meet someone who is big and kind with cold skin, they will be young.
If you ever find someone who's nice, rough, and blue, expect them to also be green.
There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.
If you meet a young and kind person who is also rough, they are cold, too.