Bob is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Eric is young but big for his age. Eric wasn't feeling well so he is a little green. Red Fred is what folks call him, because he is quite red. Harry is a big person who is kind to all.  He is red and blue. Being round and nice automatically means a person is kind. Big people who are red in color are often nice. If a rather cold person is also kind then they are probably rough. If a person is red, kind, and nice then they must be round. It's always true that round, kind people are rough as well.
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is round and nice then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and red and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Bob is blue.
True
1
proof
[(triple3)]
("Bob" "is" "blue" "+")
triple3
Harry is not blue.
False
1
inv-proof
[(triple10)]
("Harry" "is" "blue" "-")
triple10
Harry is nice.
True
3
proof
[(((triple11 triple8) -> rule2))]
("Harry" "is" "nice" "+")
((triple11 triple8) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple11 triple8) -> rule2))]
("Harry" "is" "nice" "-")
((triple11 triple8) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Bob is rough.
True
5
proof
[(((triple1 ((triple1 triple2) -> rule1)) -> rule5))]
("Bob" "is" "rough" "+")
((triple1 ((triple1 triple2) -> (rule1 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Harry is not round.
False
6
inv-proof
[(((((triple11 triple8) -> rule2) triple8 triple9) -> rule4))]
("Harry" "is" "round" "-")
((((triple11 triple8) -> (rule2 % int2)) triple8 triple9) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
True
8
proof
[(((((((triple11 triple8) -> rule2) triple8 triple9) -> rule4) triple9) -> rule5))]
("Harry" "is" "rough" "+")
((((((triple11 triple8) -> (rule2 % int3)) triple8 triple9) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not rough.
False
8
inv-proof
[(((((((triple11 triple8) -> rule2) triple8 triple9) -> rule4) triple9) -> rule5))]
("Harry" "is" "rough" "-")
((((((triple11 triple8) -> (rule2 % int3)) triple8 triple9) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Fred is not rough.
Unknown
inv-rconc
[@3: Fred is rough.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule2 <- FAIL)]]
("Fred" "is" "rough" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "nice" "+")
Fred is not round.
Unknown
inv-rconc
[@2: Fred is round.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Fred" "is" "round" "-")
Eric is rough.
Unknown
rconc
[@2: Eric is rough.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Eric" "is" "rough" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is blue.[(triple3)] Bob is nice.[(triple2)] Bob is round.[(triple1)] Eric is big.[(triple6)] Eric is green.[(triple5)] Eric is young.[(triple4)] Fred is red.[(triple7)] Harry is big.[(triple11)] Harry is blue.[(triple10)] Harry is kind.[(triple9)] Harry is red.[(triple8)] @1: Bob is kind.[(((triple1 triple2) -> rule1))] Harry is nice.[(((triple11 triple8) -> rule2))] @2: Bob is rough.[(((triple1 ((triple1 triple2) -> rule1)) -> rule5))] Harry is round.[(((((triple11 triple8) -> rule2) triple8 triple9) -> rule4))] @3: Harry is rough.[(((((((triple11 triple8) -> rule2) triple8 triple9) -> rule4) triple9) -> rule5))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Fred is red.
("Fred" "is" "red" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Bob is kind.
("Bob" "is" "kind" "+")
((triple1 triple2) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple11 triple8) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple1 ((triple1 triple2) -> (rule1 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((((triple11 triple8) -> (rule2 % int2)) triple8 triple9) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((((((triple11 triple8) -> (rule2 % int3)) triple8 triple9) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Bob is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
Eric is young but big for his age; Eric wasn't feeling well so he is a little green.
Red Fred is what folks call him, because he is quite red.
Harry is a big person who is kind to all; He is red and blue.
Being round and nice automatically means a person is kind.
Big people who are red in color are often nice.
If a rather cold person is also kind then they are probably rough.
If a person is red, kind, and nice then they must be round.
It's always true that round, kind people are rough as well.