From a certain angle Dave is blue but he is young so maybe that will go away. Eric is a very rough person. As expected, he's also a very cold and big individual. Fred has become rough with permanent red skin from working outdoors for so many years.  He always feels cold.  He is kind to both people and animals. Gary always goes out of his way to show that he is kind to people. A green, inexperienced person with a round shape who is kind to others gets very red when in the sun. A round person who is cold is big. A big person with cold, rough skin is going to be green as well. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round. People who are rough are often rather kind as well. If someone is kind, green, and round sized, then they are typically nice people. Somebody having round, cold and kind traits is also sure to be young.
Dave is young.
("Dave" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is green and round and kind then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and round then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is big and cold and rough then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and kind and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and green and round then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and kind and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Eric is cold.
True
1
proof
[(triple4)]
("Eric" "is" "cold" "+")
triple4
Gary is not kind.
False
1
inv-proof
[(triple10)]
("Gary" "is" "kind" "-")
triple10
Eric is kind.
True
2
proof
[(((triple3) -> rule5))]
("Eric" "is" "kind" "+")
((triple3) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is not kind.
False
2
inv-proof
[(((triple3) -> rule5))]
("Eric" "is" "kind" "-")
((triple3) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
True
5
proof
[(((triple4 ((triple3) -> rule5) triple5) -> rule4))]
("Eric" "is" "round" "+")
((triple4 ((triple3) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is not round.
False
5
inv-proof
[(((triple4 ((triple3) -> rule5) triple5) -> rule4))]
("Eric" "is" "round" "-")
((triple4 ((triple3) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is nice.
True
12
proof
[(((((triple3) -> rule5) ((triple5 triple4 triple3) -> rule3) ((triple4 ((triple3) -> rule5) triple5) -> rule4)) -> rule6))]
("Eric" "is" "nice" "+")
((((triple3) -> (rule5 % int4)) ((triple5 triple4 triple3) -> (rule3 % int3)) ((triple4 ((triple3) -> (rule5 % int4)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is not nice.
False
12
inv-proof
[(((((triple3) -> rule5) ((triple5 triple4 triple3) -> rule3) ((triple4 ((triple3) -> rule5) triple5) -> rule4)) -> rule6))]
("Eric" "is" "nice" "-")
((((triple3) -> (rule5 % int4)) ((triple5 triple4 triple3) -> (rule3 % int3)) ((triple4 ((triple3) -> (rule5 % int4)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "kind" "+")
Fred is not big.
Unknown
inv-rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Fred" "is" "big" "-")
Dave is nice.
Unknown
rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Dave" "is" "nice" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Dave is blue.[(triple2)] Dave is young.[(triple1)] Eric is big.[(triple5)] Eric is cold.[(triple4)] Eric is rough.[(triple3)] Fred is cold.[(triple9)] Fred is kind.[(triple8 OR ((triple6) -> rule5))] Fred is red.[(triple7)] Fred is rough.[(triple6)] Gary is kind.[(triple10)] @1: Eric is green.[(((triple5 triple4 triple3) -> rule3))] Eric is kind.[(((triple3) -> rule5))] @2: Eric is round.[(((triple4 ((triple3) -> rule5) triple5) -> rule4))] @3: Eric is nice.[(((((triple3) -> rule5) ((triple5 triple4 triple3) -> rule3) ((triple4 ((triple3) -> rule5) triple5) -> rule4)) -> rule6))] Eric is red.[(((((triple5 triple4 triple3) -> rule3) ((triple4 ((triple3) -> rule5) triple5) -> rule4) ((triple3) -> rule5)) -> rule1))] Eric is young.[(((((triple4 ((triple3) -> rule5) triple5) -> rule4) ((triple3) -> rule5) triple4) -> rule7))]
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is cold.
("Eric" "is" "cold" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple3
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple8
((triple6) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Eric is green.
("Eric" "is" "green" "+")
((triple5 triple4 triple3) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple3) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple4 ((triple3) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((((triple3) -> (rule5 % int4)) ((triple5 triple4 triple3) -> (rule3 % int3)) ((triple4 ((triple3) -> (rule5 % int4)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is red.
("Eric" "is" "red" "+")
((((triple5 triple4 triple3) -> (rule3 % int4)) ((triple4 ((triple3) -> (rule5 % int3)) triple5) -> (rule4 % int2)) ((triple3) -> (rule5 % int3))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Eric is young.
("Eric" "is" "young" "+")
((((triple4 ((triple3) -> (rule5 % int3)) triple5) -> (rule4 % int2)) ((triple3) -> (rule5 % int3)) triple4) -> (rule7 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
From a certain angle Dave is blue but he is young so maybe that will go away.
Eric is a very rough person; As expected, he's also a very cold and big individual.
Fred has become rough with permanent red skin from working outdoors for so many years; He always feels cold; He is kind to both people and animals.
Gary always goes out of his way to show that he is kind to people.
A green, inexperienced person with a round shape who is kind to others gets very red when in the sun.
A round person who is cold is big.
A big person with cold, rough skin is going to be green as well.
Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
People who are rough are often rather kind as well.
If someone is kind, green, and round sized, then they are typically nice people.
Somebody having round, cold and kind traits is also sure to be young.