Alan, who is round, red, kind, and also green, tends to be rather blue. Bob was born only a few years ago so he is young. That guy Charlie is big, but he's always kind to little ones. Harry is blue from ink he spilled on himself while being kind and helping some children paint. If people are nice and round, they look red. If a red and blue person is also kind to people that means they are rough as well. You can count on someone who is red and green being young. Rough people will often be blue.  They thrive on being kind and nice. Nice people who are kind, despite their rough skin, are big hearted. A young, big sized person will certainly be a kind one.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is nice and round then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is red and blue and kind then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and green then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and kind and blue then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is young and big then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Alan is kind.
True
1
proof
[(triple3)]
("Alan" "is" "kind" "+")
triple3
Alan is not kind.
False
1
inv-proof
[(triple3)]
("Alan" "is" "kind" "-")
triple3
Alan is rough.
True
4
proof
[(((triple2 triple5 triple3) -> rule2))]
("Alan" "is" "rough" "+")
((triple2 triple5 triple3) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is not rough.
False
4
inv-proof
[(((triple2 triple5 triple3) -> rule2))]
("Alan" "is" "rough" "-")
((triple2 triple5 triple3) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
True
7
proof
[(((((triple2 triple5 triple3) -> rule2) triple3 triple5) -> rule4))]
("Alan" "is" "nice" "+")
((((triple2 triple5 triple3) -> (rule2 % int2)) triple3 triple5) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is not nice.
False
7
inv-proof
[(((((triple2 triple5 triple3) -> rule2) triple3 triple5) -> rule4))]
("Alan" "is" "nice" "-")
((((triple2 triple5 triple3) -> (rule2 % int2)) triple3 triple5) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
True
13
proof
[(((triple3 ((((triple2 triple5 triple3) -> rule2) triple3 triple5) -> rule4) ((triple2 triple5 triple3) -> rule2)) -> rule5))]
("Alan" "is" "big" "+")
((triple3 ((((triple2 triple5 triple3) -> (rule2 % int3)) triple3 triple5) -> (rule4 % int2)) ((triple2 triple5 triple3) -> (rule2 % int3))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is not big.
False
13
inv-proof
[(((triple3 ((((triple2 triple5 triple3) -> rule2) triple3 triple5) -> rule4) ((triple2 triple5 triple3) -> rule2)) -> rule5))]
("Alan" "is" "big" "-")
((triple3 ((((triple2 triple5 triple3) -> (rule2 % int3)) triple3 triple5) -> (rule4 % int2)) ((triple2 triple5 triple3) -> (rule2 % int3))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "nice" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Alan is blue.[(triple5)] Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is young.[(triple6)] Charlie is big.[(triple8)] Charlie is kind.[(triple7)] Harry is blue.[(triple10)] Harry is kind.[(triple9)] @1: Alan is rough.[(((triple2 triple5 triple3) -> rule2))] Alan is young.[(((triple2 triple4) -> rule3))] @2: Alan is nice.[(((((triple2 triple5 triple3) -> rule2) triple3 triple5) -> rule4))] @3: Alan is big.[(((triple3 ((((triple2 triple5 triple3) -> rule2) triple3 triple5) -> rule4) ((triple2 triple5 triple3) -> rule2)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple5
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple6
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Alan is rough.
("Alan" "is" "rough" "+")
((triple2 triple5 triple3) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((triple2 triple4) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple2 triple5 triple3) -> (rule2 % int2)) triple3 triple5) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
((triple3 ((((triple2 triple5 triple3) -> (rule2 % int3)) triple3 triple5) -> (rule4 % int2)) ((triple2 triple5 triple3) -> (rule2 % int3))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan, who is round, red, kind, and also green, tends to be rather blue.
Bob was born only a few years ago so he is young.
That guy Charlie is big, but he's always kind to little ones.
Harry is blue from ink he spilled on himself while being kind and helping some children paint.
If people are nice and round, they look red.
If a red and blue person is also kind to people that means they are rough as well.
You can count on someone who is red and green being young.
Rough people will often be blue; They thrive on being kind and nice.
Nice people who are kind, despite their rough skin, are big hearted.
A young, big sized person will certainly be a kind one.