Bob was born only a few years ago so he is young. Eric is green and young, but he is also kind. He has blue eyes and red hair. Gary is a big person who is kind to all.  He is red and blue. Cold and rough people will also surely be round shaped. A kind and big person is young. Any big, kind person that turns red is cold to the touch. Young, kind people have a habit of being nice. Blue, kind, and cold people are habitually rough. I have found that kind, rough people are both red and cold.
Bob is young.
("Bob" "is" "young" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is big and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is red and big and kind then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and kind and cold then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and kind and rough then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Eric is red.
True
1
proof
[(triple3)]
("Eric" "is" "red" "+")
triple3
Eric is not kind.
False
1
inv-proof
[(triple4)]
("Eric" "is" "kind" "-")
triple4
Gary is cold.
True
4
proof
[(((triple7 triple10 triple8) -> rule3))]
("Gary" "is" "cold" "+")
((triple7 triple10 triple8) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
4
inv-proof
[(((triple7 triple10 triple8) -> rule3))]
("Gary" "is" "cold" "-")
((triple7 triple10 triple8) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
True
7
proof
[(((triple9 triple8 ((triple7 triple10 triple8) -> rule3)) -> rule5))]
("Gary" "is" "rough" "+")
((triple9 triple8 ((triple7 triple10 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not nice.
False
5
inv-proof
[(((triple8 ((triple10 triple8) -> rule2)) -> rule4))]
("Gary" "is" "nice" "-")
((triple8 ((triple10 triple8) -> (rule2 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
True
12
proof
[(((((triple7 triple10 triple8) -> rule3) ((triple9 triple8 ((triple7 triple10 triple8) -> rule3)) -> rule5)) -> rule1))]
("Gary" "is" "round" "+")
((((triple7 triple10 triple8) -> (rule3 % int3)) ((triple9 triple8 ((triple7 triple10 triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not round.
False
12
inv-proof
[(((((triple7 triple10 triple8) -> rule3) ((triple9 triple8 ((triple7 triple10 triple8) -> rule3)) -> rule5)) -> rule1))]
("Gary" "is" "round" "-")
((((triple7 triple10 triple8) -> (rule3 % int3)) ((triple9 triple8 ((triple7 triple10 triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Bob" "is" "round" "-")
Eric is cold.
Unknown
rconc
[@3: Eric is cold.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule3 <- FAIL)]]
("Eric" "is" "cold" "+")
Alan is not round.
Unknown
inv-rconc
[@2: Alan is round.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Alan" "is" "round" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "cold" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
@0: Bob is young.[(triple1)] Eric is blue.[(triple6)] Eric is green.[(triple5)] Eric is kind.[(triple4)] Eric is red.[(triple3)] Eric is young.[(triple2)] Gary is big.[(triple10)] Gary is blue.[(triple9)] Gary is kind.[(triple8)] Gary is red.[(triple7)] @1: Eric is nice.[(((triple4 triple2) -> rule4))] Gary is cold.[(((triple7 triple10 triple8) -> rule3))] Gary is young.[(((triple10 triple8) -> rule2))] @2: Gary is nice.[(((triple8 ((triple10 triple8) -> rule2)) -> rule4))] Gary is rough.[(((triple9 triple8 ((triple7 triple10 triple8) -> rule3)) -> rule5))] @3: Gary is round.[(((((triple7 triple10 triple8) -> rule3) ((triple9 triple8 ((triple7 triple10 triple8) -> rule3)) -> rule5)) -> rule1))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Eric is red.
("Eric" "is" "red" "+")
triple3
Eric is young.
("Eric" "is" "young" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
((triple4 triple2) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple7 triple10 triple8) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple10 triple8) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple8 ((triple10 triple8) -> (rule2 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((triple9 triple8 ((triple7 triple10 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((triple7 triple10 triple8) -> (rule3 % int3)) ((triple9 triple8 ((triple7 triple10 triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Bob was born only a few years ago so he is young.
Eric is green and young, but he is also kind; He has blue eyes and red hair.
Gary is a big person who is kind to all; He is red and blue.
Cold and rough people will also surely be round shaped.
A kind and big person is young.
Any big, kind person that turns red is cold to the touch.
Young, kind people have a habit of being nice.
Blue, kind, and cold people are habitually rough.
I have found that kind, rough people are both red and cold.