Young Alan is red, green and cold. Bob was born only a few years ago so he is young. Charlie ate some rotten meat and now feels green. Harry is a big young guy who is always nice even when feeling cold or blue.  Today however he is looking green due to being ill. If people are nice and round, they look red. A green and red colored person who is rather nice will definitely be kind. Those who are nice but a bit rough around the edges are known for being blue. Blue people who are cold are always round in shape. Anyone you find who happens to be kind and blue will also be very nice. As someone can be round and rough, they can also be nice and kind. Anyone who is known to be kind, nice, and round is generally also known to be a green color.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and round then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is green and nice and red then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and rough then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and blue then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and round and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice and round then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Harry is big.
True
1
proof
[(triple12)]
("Harry" "is" "big" "+")
triple12
Charlie is not green.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "green" "-")
triple6
Harry is round.
True
3
proof
[(((triple11 triple10) -> rule4))]
("Harry" "is" "round" "+")
((triple11 triple10) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
3
inv-proof
[(((triple11 triple10) -> rule4))]
("Harry" "is" "round" "-")
((triple11 triple10) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
True
5
proof
[(((triple8 ((triple11 triple10) -> rule4)) -> rule1))]
("Harry" "is" "red" "+")
((triple8 ((triple11 triple10) -> (rule4 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not red.
False
5
inv-proof
[(((triple8 ((triple11 triple10) -> rule4)) -> rule1))]
("Harry" "is" "red" "-")
((triple8 ((triple11 triple10) -> (rule4 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
True
8
proof
[(((triple9 triple8 ((triple8 ((triple11 triple10) -> rule4)) -> rule1)) -> rule2))]
("Harry" "is" "kind" "+")
((triple9 triple8 ((triple8 ((triple11 triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not kind.
False
8
inv-proof
[(((triple9 triple8 ((triple8 ((triple11 triple10) -> rule4)) -> rule1)) -> rule2))]
("Harry" "is" "kind" "-")
((triple9 triple8 ((triple8 ((triple11 triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "round" "-")
Charlie is red.
Unknown
rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Charlie" "is" "red" "+")
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "-")
Charlie is nice.
Unknown
rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Charlie" "is" "nice" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Alan is cold.[(triple4)] Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is young.[(triple5)] Charlie is green.[(triple6)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] Harry is green.[(triple9)] Harry is nice.[(triple8)] Harry is young.[(triple7)] @1: Harry is round.[(((triple11 triple10) -> rule4))] @2: Harry is red.[(((triple8 ((triple11 triple10) -> rule4)) -> rule1))] @3: Harry is kind.[(((triple9 triple8 ((triple8 ((triple11 triple10) -> rule4)) -> rule1)) -> rule2))]
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
((triple11 triple10) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple8 ((triple11 triple10) -> (rule4 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((triple9 triple8 ((triple8 ((triple11 triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Young Alan is red, green and cold.
Bob was born only a few years ago so he is young.
Charlie ate some rotten meat and now feels green.
Harry is a big young guy who is always nice even when feeling cold or blue; Today however he is looking green due to being ill.
If people are nice and round, they look red.
A green and red colored person who is rather nice will definitely be kind.
Those who are nice but a bit rough around the edges are known for being blue.
Blue people who are cold are always round in shape.
Anyone you find who happens to be kind and blue will also be very nice.
As someone can be round and rough, they can also be nice and kind.
Anyone who is known to be kind, nice, and round is generally also known to be a green color.