Bob is rough around the edges, but he's often blue and always nice. Charlie was born only a few years ago so he is young. Eric looks red to most people, with blue features. Young Gary is round from too much candy.  He is feeling cold even though he's red from being in the sun too long. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. People who can be kind when they are cold are fundamentally nice. Big and cold people tend to see red and dont live green lifestyle. When someone is young, they can be cold but kind. Someone with the traits of being cold and red is also going to be someone who is big. A person who is cold, rough and young is also nice. Green people who are nice are rough.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is rough and big and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and big and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and red then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and young and rough then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Gary is round.
True
1
proof
[(triple8)]
("Gary" "is" "round" "+")
triple8
Bob is not nice.
False
1
inv-proof
[(triple2)]
("Bob" "is" "nice" "-")
triple2
Gary is kind.
True
3
proof
[(((triple7 triple10) -> rule4))]
("Gary" "is" "kind" "+")
((triple7 triple10) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not big.
False
3
inv-proof
[(((triple10 triple9) -> rule5))]
("Gary" "is" "big" "-")
((triple10 triple9) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
True
5
proof
[(((((triple7 triple10) -> rule4) triple10) -> rule2))]
("Gary" "is" "nice" "+")
((((triple7 triple10) -> (rule4 % int2)) triple10) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not green.
False
6
inv-proof
[(((triple9 ((triple10 triple9) -> rule5) triple10) -> rule3))]
("Gary" "is" "green" "-")
((triple9 ((triple10 triple9) -> (rule5 % int2)) triple10) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
True
12
proof
[(((((((triple7 triple10) -> rule4) triple10) -> rule2) ((triple9 ((triple10 triple9) -> rule5) triple10) -> rule3)) -> rule7))]
("Gary" "is" "rough" "+")
((((((triple7 triple10) -> (rule4 % int5)) triple10) -> (rule2 % int4)) ((triple9 ((triple10 triple9) -> (rule5 % int3)) triple10) -> (rule3 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Gary is not rough.
False
12
inv-proof
[(((((((triple7 triple10) -> rule4) triple10) -> rule2) ((triple9 ((triple10 triple9) -> rule5) triple10) -> rule3)) -> rule7))]
("Gary" "is" "rough" "-")
((((((triple7 triple10) -> (rule4 % int5)) triple10) -> (rule2 % int4)) ((triple9 ((triple10 triple9) -> (rule5 % int3)) triple10) -> (rule3 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "kind" "-")
Charlie is rough.
Unknown
rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Charlie" "is" "rough" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "big" "-")
Charlie is kind.
Unknown
rconc
[@3: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- rule1 <- rule5 <- FAIL)]]
("Charlie" "is" "kind" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Bob is blue.[(triple3)] Bob is nice.[(triple2)] Bob is rough.[(triple1)] Charlie is young.[(triple4)] Eric is blue.[(triple6)] Eric is red.[(triple5)] Gary is cold.[(triple10)] Gary is red.[(triple9)] Gary is round.[(triple8)] Gary is young.[(triple7)] @1: Gary is big.[(((triple10 triple9) -> rule5))] Gary is kind.[(((triple7 triple10) -> rule4))] @2: Gary is green.[(((triple9 ((triple10 triple9) -> rule5) triple10) -> rule3))] Gary is nice.[(((((triple7 triple10) -> rule4) triple10) -> rule2))] @3: Gary is rough.[(((((((triple7 triple10) -> rule4) triple10) -> rule2) ((triple9 ((triple10 triple9) -> rule5) triple10) -> rule3)) -> rule7))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
((triple10 triple9) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple7 triple10) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple9 ((triple10 triple9) -> (rule5 % int2)) triple10) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((triple7 triple10) -> (rule4 % int2)) triple10) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple7 triple10) -> (rule4 % int5)) triple10) -> (rule2 % int4)) ((triple9 ((triple10 triple9) -> (rule5 % int3)) triple10) -> (rule3 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Bob is rough around the edges, but he's often blue and always nice.
Charlie was born only a few years ago so he is young.
Eric looks red to most people, with blue features.
Young Gary is round from too much candy; He is feeling cold even though he's red from being in the sun too long.
Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others.
People who can be kind when they are cold are fundamentally nice.
Big and cold people tend to see red and dont live green lifestyle.
When someone is young, they can be cold but kind.
Someone with the traits of being cold and red is also going to be someone who is big.
A person who is cold, rough and young is also nice.
Green people who are nice are rough.