Anne is not big. Anne is furry. Anne is kind. Anne is quiet. Anne is white. Bob is furry. Bob is kind. Bob is quiet. Bob is rough. Bob is white. If someone is furry and not blue then they are big. If Bob is blue then Bob is furry. If Anne is rough and Anne is white then Anne is not furry. If someone is blue and not furry then they are not kind. Blue people are kind. If someone is kind and not furry then they are quiet. If Bob is quiet then Bob is big. If Bob is blue and Bob is not quiet then Bob is big.
Anne is not big.
("Anne" "is" "big" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
If someone is furry and not blue then they are big.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "big" "+"))
If Bob is blue then Bob is furry.
((("Bob" "is" "blue" "+")) -> ("Bob" "is" "furry" "+"))
If Anne is rough and Anne is white then Anne is not furry.
((("Anne" "is" "rough" "+") ("Anne" "is" "white" "+")) -> ("Anne" "is" "furry" "-"))
If someone is blue and not furry then they are not kind.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "kind" "-"))
Blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and not furry then they are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "quiet" "+"))
If Bob is quiet then Bob is big.
((("Bob" "is" "quiet" "+")) -> ("Bob" "is" "big" "+"))
If Bob is blue and Bob is not quiet then Bob is big.
((("Bob" "is" "blue" "+") ("Bob" "is" "quiet" "~")) -> ("Bob" "is" "big" "+"))
Bob is furry.
True
1
proof
[(triple6)]
("Bob" "is" "furry" "+")
triple6
Bob is not furry.
False
1
inv-proof
[(triple6)]
("Bob" "is" "furry" "-")
triple6
Bob is big.
True
2
proof
[(((triple8) -> rule7))]
("Bob" "is" "big" "+")
((triple8) -> (rule7 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
2
inv-proof
[(((triple8) -> rule7))]
("Bob" "is" "big" "-")
((triple8) -> (rule7 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is not big.[(triple1)] Anne is quiet.[(triple4)] Anne is white.[(triple5)] Bob is furry.[(triple6)] Bob is kind.[(triple7)] Bob is quiet.[(triple8)] Bob is rough.[(triple9)] Bob is white.[(triple10)] @1: Bob is big.[(((triple8) -> rule7))]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
triple8
Bob is rough.
("Bob" "is" "rough" "+")
triple9
Bob is white.
("Bob" "is" "white" "+")
triple10
Bob is big.
("Bob" "is" "big" "+")
((triple8) -> (rule7 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1