Alan, like all young people, is nice. Dave was kind despite being rough. And because he was so big, Dave constantly felt cold. Eric is a rough but very kind and blue person. Fred's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. A cold person with a round figure who is kind to others is nice as well. Big people who are red in color are often nice. A quite nice person who is red and green is also big. Big people are also round people. People who are nice, big, and also rough, are considered red.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is kind and cold and round then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and green and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and big and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Eric is blue.
True
1
proof
[(triple9)]
("Eric" "is" "blue" "+")
triple9
Fred is not blue.
False
1
inv-proof
[(triple12)]
("Fred" "is" "blue" "-")
triple12
Dave is round.
True
2
proof
[(((triple6) -> rule4))]
("Dave" "is" "round" "+")
((triple6) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple6) -> rule4))]
("Dave" "is" "round" "-")
((triple6) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
True
5
proof
[(((triple4 triple5 ((triple6) -> rule4)) -> rule1))]
("Dave" "is" "nice" "+")
((triple4 triple5 ((triple6) -> (rule4 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not nice.
False
5
inv-proof
[(((triple4 triple5 ((triple6) -> rule4)) -> rule1))]
("Dave" "is" "nice" "-")
((triple4 triple5 ((triple6) -> (rule4 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
True
8
proof
[(((((triple4 triple5 ((triple6) -> rule4)) -> rule1) triple6 triple3) -> rule5))]
("Dave" "is" "red" "+")
((((triple4 triple5 ((triple6) -> (rule4 % int3))) -> (rule1 % int2)) triple6 triple3) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not red.
False
8
inv-proof
[(((((triple4 triple5 ((triple6) -> rule4)) -> rule1) triple6 triple3) -> rule5))]
("Dave" "is" "red" "-")
((((triple4 triple5 ((triple6) -> (rule4 % int3))) -> (rule1 % int2)) triple6 triple3) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "red" "-")
Fred is big.
Unknown
rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Fred" "is" "big" "+")
Fred is not round.
Unknown
inv-rconc
[@3: Fred is round.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule5 <- FAIL)]]
("Fred" "is" "round" "-")
Eric is nice.
Unknown
rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Eric" "is" "nice" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Alan is nice.[(triple2)] Alan is young.[(triple1)] Dave is big.[(triple6)] Dave is cold.[(triple5)] Dave is kind.[(triple4)] Dave is rough.[(triple3)] Eric is blue.[(triple9)] Eric is kind.[(triple8)] Eric is rough.[(triple7)] Fred is blue.[(triple12)] Fred is green.[(triple11)] Fred is nice.[(triple10)] @1: Dave is round.[(((triple6) -> rule4))] @2: Dave is nice.[(((triple4 triple5 ((triple6) -> rule4)) -> rule1))] @3: Dave is red.[(((((triple4 triple5 ((triple6) -> rule4)) -> rule1) triple6 triple3) -> rule5))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
triple12
Fred is green.
("Fred" "is" "green" "+")
triple11
Fred is nice.
("Fred" "is" "nice" "+")
triple10
Dave is round.
("Dave" "is" "round" "+")
((triple6) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple4 triple5 ((triple6) -> (rule4 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((((triple4 triple5 ((triple6) -> (rule4 % int3))) -> (rule1 % int2)) triple6 triple3) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Alan, like all young people, is nice.
Dave was kind despite being rough; And because he was so big, Dave constantly felt cold.
Eric is a rough but very kind and blue person.
Fred's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
A cold person with a round figure who is kind to others is nice as well.
Big people who are red in color are often nice.
A quite nice person who is red and green is also big.
Big people are also round people.
People who are nice, big, and also rough, are considered red.