You should meet Alan, he is big and rough on the football field but also very young in age. Eric is big and dresses in blue. Harry who is is looking green after smelling the trash left out in the hot sun is seeing red from his anger.  Usually though he is described as being a kind and nice person. A person that is both green and red tends to be cold as well. People that are green tend to be young. Being big and kind like a gentle giant can make anyone blue. Someone who is round like a dumpling and cold like an icicle are very young in age. A cold, red person with a kind disposition will certainly be big.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is green and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is big and kind then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is red and cold and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Eric is big.
True
1
proof
[(triple5)]
("Eric" "is" "big" "+")
triple5
Eric is not big.
False
1
inv-proof
[(triple5)]
("Eric" "is" "big" "-")
triple5
Harry is cold.
True
3
proof
[(((triple9 triple6) -> rule1))]
("Harry" "is" "cold" "+")
((triple9 triple6) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple9) -> rule2))]
("Harry" "is" "young" "-")
((triple9) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
True
6
proof
[(((triple6 ((triple9 triple6) -> rule1) triple8) -> rule5))]
("Harry" "is" "big" "+")
((triple6 ((triple9 triple6) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not big.
False
6
inv-proof
[(((triple6 ((triple9 triple6) -> rule1) triple8) -> rule5))]
("Harry" "is" "big" "-")
((triple6 ((triple9 triple6) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
True
8
proof
[(((((triple6 ((triple9 triple6) -> rule1) triple8) -> rule5) triple8) -> rule3))]
("Harry" "is" "blue" "+")
((((triple6 ((triple9 triple6) -> (rule1 % int3)) triple8) -> (rule5 % int2)) triple8) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is not blue.
False
8
inv-proof
[(((((triple6 ((triple9 triple6) -> rule1) triple8) -> rule5) triple8) -> rule3))]
("Harry" "is" "blue" "-")
((((triple6 ((triple9 triple6) -> (rule1 % int3)) triple8) -> (rule5 % int2)) triple8) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "cold" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "young" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "big" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Alan is big.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Eric is big.[(triple5)] Eric is blue.[(triple4)] Harry is green.[(triple9)] Harry is kind.[(triple8)] Harry is nice.[(triple7)] Harry is red.[(triple6)] @1: Harry is cold.[(((triple9 triple6) -> rule1))] Harry is young.[(((triple9) -> rule2))] @2: Harry is big.[(((triple6 ((triple9 triple6) -> rule1) triple8) -> rule5))] @3: Harry is blue.[(((((triple6 ((triple9 triple6) -> rule1) triple8) -> rule5) triple8) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is blue.
("Eric" "is" "blue" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
((triple9 triple6) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple9) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple6 ((triple9 triple6) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((triple6 ((triple9 triple6) -> (rule1 % int3)) triple8) -> (rule5 % int2)) triple8) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
You should meet Alan, he is big and rough on the football field but also very young in age.
Eric is big and dresses in blue.
Harry who is is looking green after smelling the trash left out in the hot sun is seeing red from his anger; Usually though he is described as being a kind and nice person.
A person that is both green and red tends to be cold as well.
People that are green tend to be young.
Being big and kind like a gentle giant can make anyone blue.
Someone who is round like a dumpling and cold like an icicle are very young in age.
A cold, red person with a kind disposition will certainly be big.