Although Bob is seen as nice and round, his days of playing football have made him quite rough. Because Dave gets cold easily he tends to appear round from bundling up. Young Eric is quite nice, and because he is so round can be considered quite big. Fred is a kind and red colored guy. All kind, red, and young people are also nice. Those who are nice but a bit rough around the edges are known for being blue. It's a fact that young people are red people. If you color the young ones blue then they will be kind. Round and big people are sure to be rough. An individual who is big and nice is also green.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
If someone is kind and red and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and rough then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and big then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and nice then they are green.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Dave is round.
True
1
proof
[(triple4)]
("Dave" "is" "round" "+")
triple4
Fred is not kind.
False
1
inv-proof
[(triple11)]
("Fred" "is" "kind" "-")
triple11
Eric is rough.
True
3
proof
[(((triple7 triple9) -> rule5))]
("Eric" "is" "rough" "+")
((triple7 triple9) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is not red.
False
2
inv-proof
[(((triple6) -> rule3))]
("Eric" "is" "red" "-")
((triple6) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
True
5
proof
[(((triple8 ((triple7 triple9) -> rule5)) -> rule2))]
("Eric" "is" "blue" "+")
((triple8 ((triple7 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is not blue.
False
5
inv-proof
[(((triple8 ((triple7 triple9) -> rule5)) -> rule2))]
("Eric" "is" "blue" "-")
((triple8 ((triple7 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is kind.
True
7
proof
[(((((triple8 ((triple7 triple9) -> rule5)) -> rule2) triple6) -> rule4))]
("Eric" "is" "kind" "+")
((((triple8 ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is not kind.
False
7
inv-proof
[(((((triple8 ((triple7 triple9) -> rule5)) -> rule2) triple6) -> rule4))]
("Eric" "is" "kind" "-")
((((triple8 ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@2: Dave is blue.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "rough" "+")
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "rough" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "red" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Bob is nice.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Dave is cold.[(triple5)] Dave is round.[(triple4)] Eric is big.[(triple9)] Eric is nice.[(triple8)] Eric is round.[(triple7)] Eric is young.[(triple6)] Fred is kind.[(triple11)] Fred is red.[(triple10)] @1: Bob is blue.[(((triple3 triple2) -> rule2))] Eric is green.[(((triple9 triple8) -> rule6))] Eric is red.[(((triple6) -> rule3))] Eric is rough.[(((triple7 triple9) -> rule5))] @2: Eric is blue.[(((triple8 ((triple7 triple9) -> rule5)) -> rule2))] @3: Eric is kind.[(((((triple8 ((triple7 triple9) -> rule5)) -> rule2) triple6) -> rule4))]
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple11
Fred is red.
("Fred" "is" "red" "+")
triple10
Bob is blue.
("Bob" "is" "blue" "+")
((triple3 triple2) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((triple9 triple8) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple6) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((triple7 triple9) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple8 ((triple7 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((((triple8 ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Although Bob is seen as nice and round, his days of playing football have made him quite rough.
Because Dave gets cold easily he tends to appear round from bundling up.
Young Eric is quite nice, and because he is so round can be considered quite big.
Fred is a kind and red colored guy.
All kind, red, and young people are also nice.
Those who are nice but a bit rough around the edges are known for being blue.
It's a fact that young people are red people.
If you color the young ones blue then they will be kind.
Round and big people are sure to be rough.
An individual who is big and nice is also green.