Alan always goes out of his way to show that he is kind to people. Eric 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. This Gary guy is red. He is also kind and yet cold. Red Harry is what folks call him, because he is quite red. A kind red person is also a blue person. A person with rough skin who has been standing in the cold will turn red. A big person in size will definitely be rough. Someone who is blue and cold is also big.
Alan is kind.
("Alan" "is" "kind" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is kind and red then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and cold then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Alan is kind.
True
1
proof
[(triple1)]
("Alan" "is" "kind" "+")
triple1
Gary is not red.
False
1
inv-proof
[(triple4)]
("Gary" "is" "red" "-")
triple4
Gary is blue.
True
3
proof
[(((triple5 triple4) -> rule1))]
("Gary" "is" "blue" "+")
((triple5 triple4) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
3
inv-proof
[(((triple5 triple4) -> rule1))]
("Gary" "is" "blue" "-")
((triple5 triple4) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
True
5
proof
[(((((triple5 triple4) -> rule1) triple6) -> rule4))]
("Gary" "is" "big" "+")
((((triple5 triple4) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not big.
False
5
inv-proof
[(((((triple5 triple4) -> rule1) triple6) -> rule4))]
("Gary" "is" "big" "-")
((((triple5 triple4) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
True
6
proof
[(((((((triple5 triple4) -> rule1) triple6) -> rule4)) -> rule3))]
("Gary" "is" "rough" "+")
((((((triple5 triple4) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not rough.
False
6
inv-proof
[(((((((triple5 triple4) -> rule1) triple6) -> rule4)) -> rule3))]
("Gary" "is" "rough" "-")
((((((triple5 triple4) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Harry is not rough.
Unknown
inv-rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Harry" "is" "rough" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "big" "+")
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "red" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "big" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Alan is kind.[(triple1)] Eric is blue.[(triple3)] Eric is rough.[(triple2)] Gary is cold.[(triple6)] Gary is kind.[(triple5)] Gary is red.[(triple4)] Harry is red.[(triple7)] @1: Gary is blue.[(((triple5 triple4) -> rule1))] @2: Gary is big.[(((((triple5 triple4) -> rule1) triple6) -> rule4))] @3: Gary is rough.[(((((((triple5 triple4) -> rule1) triple6) -> rule4)) -> rule3))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple3
Eric is rough.
("Eric" "is" "rough" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple4
Harry is red.
("Harry" "is" "red" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
((triple5 triple4) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((((triple5 triple4) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple5 triple4) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Alan always goes out of his way to show that he is kind to people.
Eric 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.
This Gary guy is red; He is also kind and yet cold.
Red Harry is what folks call him, because he is quite red.
A kind red person is also a blue person.
A person with rough skin who has been standing in the cold will turn red.
A big person in size will definitely be rough.
Someone who is blue and cold is also big.