As much as Alan is nice, he is also cold and often feels blue. Eric has rough, green skin and that makes him cold. He also feels blue for his big size. Fred ate some rotten meat and now feels green. Gary 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. Someone who has a a young round face is often rough around the edges. I have found that if someone is kind and red, that they are quite often nice. Kind people,though green,tend to be nice. Though their hands were rough and cold they were also kind, which is how I could tell that they were young. Someone who is round like a dumpling and cold like an icicle are very young in age. You can see that cold, blue people are round in shape. A big, blue and cold person will also be a round person.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is round and young then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and rough and cold then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is round and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is big and cold and blue then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Alan is blue.
True
1
proof
[(triple3)]
("Alan" "is" "blue" "+")
triple3
Eric is not big.
False
1
inv-proof
[(triple8)]
("Eric" "is" "big" "-")
triple8
Alan is round.
True
3
proof
[(((triple2 triple3) -> rule6))]
("Alan" "is" "round" "+")
((triple2 triple3) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Eric is not round.
False
3
inv-proof
[(((triple6 triple7) -> rule6) OR ((triple8 triple6 triple7) -> rule7))]
("Eric" "is" "round" "-")
((triple6 triple7) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
((triple8 triple6 triple7) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
True
5
proof
[(((((triple6 triple7) -> rule6) triple6) -> rule5) OR ((((triple8 triple6 triple7) -> rule7) triple6) -> rule5))]
("Eric" "is" "young" "+")
((((triple6 triple7) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
((((triple8 triple6 triple7) -> (rule7 % int2)) triple6) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Alan is not young.
False
5
inv-proof
[(((((triple2 triple3) -> rule6) triple2) -> rule5))]
("Alan" "is" "young" "-")
((((triple2 triple3) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is rough.
True
9
proof
[(((((triple2 triple3) -> rule6) ((((triple2 triple3) -> rule6) triple2) -> rule5)) -> rule1))]
("Alan" "is" "rough" "+")
((((triple2 triple3) -> (rule6 % int3)) ((((triple2 triple3) -> (rule6 % int3)) triple2) -> (rule5 % int2))) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is not rough.
False
9
inv-proof
[(((((triple2 triple3) -> rule6) ((((triple2 triple3) -> rule6) triple2) -> rule5)) -> rule1))]
("Alan" "is" "rough" "-")
((((triple2 triple3) -> (rule6 % int3)) ((((triple2 triple3) -> (rule6 % int3)) triple2) -> (rule5 % int2))) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "round" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "nice" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "young" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
@0: Alan is blue.[(triple3)] Alan is cold.[(triple2)] Alan is nice.[(triple1)] Eric is big.[(triple8)] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Eric is green.[(triple5)] Eric is rough.[(triple4 OR ((((triple6 triple7) -> rule6) ((((triple6 triple7) -> rule6) triple6) -> rule5)) -> rule1) OR ((((triple6 triple7) -> rule6) ((((triple8 triple6 triple7) -> rule7) triple6) -> rule5)) -> rule1) OR ((((triple8 triple6 triple7) -> rule7) ((((triple6 triple7) -> rule6) triple6) -> rule5)) -> rule1) OR ((((triple8 triple6 triple7) -> rule7) ((((triple8 triple6 triple7) -> rule7) triple6) -> rule5)) -> rule1))] Fred is green.[(triple9)] Gary is blue.[(triple11)] Gary is rough.[(triple10)] @1: Alan is round.[(((triple2 triple3) -> rule6))] Eric is round.[(((triple6 triple7) -> rule6) OR ((triple8 triple6 triple7) -> rule7))] @2: Alan is young.[(((((triple2 triple3) -> rule6) triple2) -> rule5))] Eric is young.[(((((triple6 triple7) -> rule6) triple6) -> rule5) OR ((((triple8 triple6 triple7) -> rule7) triple6) -> rule5))] @3: Alan is rough.[(((((triple2 triple3) -> rule6) ((((triple2 triple3) -> rule6) triple2) -> rule5)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
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 rough.
("Eric" "is" "rough" "+")
triple4
((((triple6 triple7) -> (rule6 % int3)) ((((triple6 triple7) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
((((triple6 triple7) -> (rule6 % int3)) ((((triple8 triple6 triple7) -> (rule7 % int3)) triple6) -> (rule5 % int2))) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
((((triple8 triple6 triple7) -> (rule7 % int3)) ((((triple6 triple7) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
((((triple8 triple6 triple7) -> (rule7 % int3)) ((((triple8 triple6 triple7) -> (rule7 % int3)) triple6) -> (rule5 % int2))) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Alan is round.
("Alan" "is" "round" "+")
((triple2 triple3) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple6 triple7) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
((triple8 triple6 triple7) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((((triple2 triple3) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((((triple6 triple7) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
((((triple8 triple6 triple7) -> (rule7 % int2)) triple6) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((((triple2 triple3) -> (rule6 % int3)) ((((triple2 triple3) -> (rule6 % int3)) triple2) -> (rule5 % int2))) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
As much as Alan is nice, he is also cold and often feels blue.
Eric has rough, green skin and that makes him cold; He also feels blue for his big size.
Fred ate some rotten meat and now feels green.
Gary 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.
Someone who has a a young round face is often rough around the edges.
I have found that if someone is kind and red, that they are quite often nice.
Kind people,though green,tend to be nice.
Though their hands were rough and cold they were also kind, which is how I could tell that they were young.
Someone who is round like a dumpling and cold like an icicle are very young in age.
You can see that cold, blue people are round in shape.
A big, blue and cold person will also be a round person.