Bob was looking rather round and feeling rather cold, but people thought he is kind. Dave, a round shaped individual is nice to others.  He is red and green. Gary always goes out of his way to show that he is kind to people. Harry is big and round man that is looking rather green after seeing some bad mayonnaise. Someone who looks rough and feels cold is also kind to others. A nice green person that tends to be rough will indeed be round too. A kind person with green and red skin must be big too. A rough and round person is also a big person. A rough, big soul is sure to be nice, too. Color anybody red and blue, then make them rough, and they will surely be round. It's always true that round, kind people are rough as well.
Bob is round.
("Bob" "is" "round" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough and cold then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and nice and rough then they are round.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is green and kind and red then they are big.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is round and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and big then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and rough and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Bob is kind.
True
1
proof
[(triple2)]
("Bob" "is" "kind" "+")
triple2
Dave is not green.
False
1
inv-proof
[(triple7)]
("Dave" "is" "green" "-")
triple7
Bob is rough.
True
3
proof
[(((triple1 triple2) -> rule7))]
("Bob" "is" "rough" "+")
((triple1 triple2) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
3
inv-proof
[(((triple1 triple2) -> rule7))]
("Bob" "is" "rough" "-")
((triple1 triple2) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
True
5
proof
[(((triple1 ((triple1 triple2) -> rule7)) -> rule4))]
("Bob" "is" "big" "+")
((triple1 ((triple1 triple2) -> (rule7 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not big.
False
5
inv-proof
[(((triple1 ((triple1 triple2) -> rule7)) -> rule4))]
("Bob" "is" "big" "-")
((triple1 ((triple1 triple2) -> (rule7 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
True
9
proof
[(((((triple1 triple2) -> rule7) ((triple1 ((triple1 triple2) -> rule7)) -> rule4)) -> rule5))]
("Bob" "is" "nice" "+")
((((triple1 triple2) -> (rule7 % int3)) ((triple1 ((triple1 triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is not nice.
False
9
inv-proof
[(((((triple1 triple2) -> rule7) ((triple1 ((triple1 triple2) -> rule7)) -> rule4)) -> rule5))]
("Bob" "is" "nice" "-")
((((triple1 triple2) -> (rule7 % int3)) ((triple1 ((triple1 triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Dave is not rough.
Unknown
inv-rconc
[@2: Dave is rough.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Dave" "is" "rough" "-")
Gary is nice.
Unknown
rconc
[@3: Gary is nice.[CWA. Example of deepest failure = (rule5 <- rule7 <- rule2 <- FAIL)]]
("Gary" "is" "nice" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Gary is rough.
Unknown
rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Gary" "is" "rough" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Bob is cold.[(triple3)] Bob is kind.[(triple2)] Bob is round.[(triple1)] Dave is green.[(triple7)] Dave is nice.[(triple6)] Dave is red.[(triple5)] Dave is round.[(triple4)] Gary is kind.[(triple8)] Harry is big.[(triple11)] Harry is green.[(triple10)] Harry is round.[(triple9)] @1: Bob is rough.[(((triple1 triple2) -> rule7))] @2: Bob is big.[(((triple1 ((triple1 triple2) -> rule7)) -> rule4))] @3: Bob is nice.[(((((triple1 triple2) -> rule7) ((triple1 ((triple1 triple2) -> rule7)) -> rule4)) -> rule5))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Bob is rough.
("Bob" "is" "rough" "+")
((triple1 triple2) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple1 ((triple1 triple2) -> (rule7 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple1 triple2) -> (rule7 % int3)) ((triple1 ((triple1 triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob was looking rather round and feeling rather cold, but people thought he is kind.
Dave, a round shaped individual is nice to others; He is red and green.
Gary always goes out of his way to show that he is kind to people.
Harry is big and round man that is looking rather green after seeing some bad mayonnaise.
Someone who looks rough and feels cold is also kind to others.
A nice green person that tends to be rough will indeed be round too.
A kind person with green and red skin must be big too.
A rough and round person is also a big person.
A rough, big soul is sure to be nice, too.
Color anybody red and blue, then make them rough, and they will surely be round.
It's always true that round, kind people are rough as well.