Bob is young and kind.  But he plays really rough with his friends. That Fred is as round and red as a cherry, and twice as kind. Harry, like all young people, is nice. Pick someone blue, kind and big, and they are certain to be green as well. Rough people are often always nice. A round shaped and rough person will be blue as well. A person who exhibits nice, kind and cold characteristics will also be a rough person. A very nice and kind person will also be round shaped. Someone who is big and kind is blue.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is blue and kind and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and nice and cold then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and big then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Fred is kind.
True
1
proof
[(triple6)]
("Fred" "is" "kind" "+")
triple6
Bob is not rough.
False
1
inv-proof
[(triple2)]
("Bob" "is" "rough" "-")
triple2
Bob is nice.
True
2
proof
[(((triple2) -> rule2))]
("Bob" "is" "nice" "+")
((triple2) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
2
inv-proof
[(((triple2) -> rule2))]
("Bob" "is" "nice" "-")
((triple2) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
True
4
proof
[(((((triple2) -> rule2) triple3) -> rule5))]
("Bob" "is" "round" "+")
((((triple2) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not round.
False
4
inv-proof
[(((((triple2) -> rule2) triple3) -> rule5))]
("Bob" "is" "round" "-")
((((triple2) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
True
6
proof
[(((triple2 ((((triple2) -> rule2) triple3) -> rule5)) -> rule3))]
("Bob" "is" "blue" "+")
((triple2 ((((triple2) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not blue.
False
6
inv-proof
[(((triple2 ((((triple2) -> rule2) triple3) -> rule5)) -> rule3))]
("Bob" "is" "blue" "-")
((triple2 ((((triple2) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Harry is not blue.
Unknown
inv-rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Harry" "is" "blue" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "+")
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "green" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Bob is kind.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Fred is kind.[(triple6)] Fred is red.[(triple5)] Fred is round.[(triple4)] Harry is nice.[(triple8)] Harry is young.[(triple7)] @1: Bob is nice.[(((triple2) -> rule2))] @2: Bob is round.[(((((triple2) -> rule2) triple3) -> rule5))] @3: Bob is blue.[(((triple2 ((((triple2) -> rule2) triple3) -> rule5)) -> rule3))]
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
((triple2) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((((triple2) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((triple2 ((((triple2) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is young and kind; But he plays really rough with his friends.
That Fred is as round and red as a cherry, and twice as kind.
Harry, like all young people, is nice.
Pick someone blue, kind and big, and they are certain to be green as well.
Rough people are often always nice.
A round shaped and rough person will be blue as well.
A person who exhibits nice, kind and cold characteristics will also be a rough person.
A very nice and kind person will also be round shaped.
Someone who is big and kind is blue.