Young Alan is wearing green pants. Bob ate some rotten meat and now feels green. Harry is red, cold in temperature and round shaped. Harry is also very  big. Big people who are red in color are often nice. Someone can be young, big, and cold but green. People with blue and red skin color are also green. Rough young folks are surprisingly kind. Whenever somebody can be described as rough, round and cold, they can also be described as young. Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.
Alan is young.
("Alan" "is" "young" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is green.
("Bob" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and cold and big then they are green.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is young and rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and rough and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and cold and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Harry is cold.
True
1
proof
[(triple6)]
("Harry" "is" "cold" "+")
triple6
Bob is not green.
False
1
inv-proof
[(triple3)]
("Bob" "is" "green" "-")
triple3
Harry is nice.
True
3
proof
[(((triple7 triple5) -> rule1))]
("Harry" "is" "nice" "+")
((triple7 triple5) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple7 triple5) -> rule1))]
("Harry" "is" "nice" "-")
((triple7 triple5) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
True
6
proof
[(((((triple7 triple5) -> rule1) triple6 triple7) -> rule6))]
("Harry" "is" "blue" "+")
((((triple7 triple5) -> (rule1 % int2)) triple6 triple7) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not blue.
False
6
inv-proof
[(((((triple7 triple5) -> rule1) triple6 triple7) -> rule6))]
("Harry" "is" "blue" "-")
((((triple7 triple5) -> (rule1 % int2)) triple6 triple7) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
True
8
proof
[(((((((triple7 triple5) -> rule1) triple6 triple7) -> rule6) triple5) -> rule3))]
("Harry" "is" "green" "+")
((((((triple7 triple5) -> (rule1 % int3)) triple6 triple7) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not green.
False
8
inv-proof
[(((((((triple7 triple5) -> rule1) triple6 triple7) -> rule6) triple5) -> rule3))]
("Harry" "is" "green" "-")
((((((triple7 triple5) -> (rule1 % int3)) triple6 triple7) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "kind" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "nice" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "kind" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is green.[(triple2)] Alan is young.[(triple1)] Bob is green.[(triple3)] Harry is big.[(triple7)] Harry is cold.[(triple6)] Harry is red.[(triple5)] Harry is round.[(triple4)] @1: Harry is nice.[(((triple7 triple5) -> rule1))] @2: Harry is blue.[(((((triple7 triple5) -> rule1) triple6 triple7) -> rule6))] @3: Harry is green.[(((((((triple7 triple5) -> rule1) triple6 triple7) -> rule6) triple5) -> rule3))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple5
Harry is round.
("Harry" "is" "round" "+")
triple4
Harry is nice.
("Harry" "is" "nice" "+")
((triple7 triple5) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((((triple7 triple5) -> (rule1 % int2)) triple6 triple7) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((((triple7 triple5) -> (rule1 % int3)) triple6 triple7) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Young Alan is wearing green pants.
Bob ate some rotten meat and now feels green.
Harry is red, cold in temperature and round shaped; Harry is also very  big.
Big people who are red in color are often nice.
Someone can be young, big, and cold but green.
People with blue and red skin color are also green.
Rough young folks are surprisingly kind.
Whenever somebody can be described as rough, round and cold, they can also be described as young.
Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.