Anne is blue. Anne is furry. Anne is quiet. Anne is round. Bob is blue. Bob is furry. Bob is nice. Bob is quiet. Bob is red. Bob is round. Blue things are quiet. If Anne is blue then Anne is quiet.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Blue things are quiet.
((("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
If Anne is blue then Anne is quiet.
((("Anne" "is" "blue" "+")) -> ("Anne" "is" "quiet" "+"))
Bob is furry.
True
1
proof
[(triple6)]
("Bob" "is" "furry" "+")
triple6
Anne is not quiet.
False
1
inv-proof
[(triple3 OR ((triple1) -> rule1) OR ((triple1) -> rule2))]
("Anne" "is" "quiet" "-")
triple3
((triple1) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple1) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3 OR ((triple1) -> rule1) OR ((triple1) -> rule2))] Anne is round.[(triple4)] Bob is blue.[(triple5)] Bob is furry.[(triple6)] Bob is nice.[(triple7)] Bob is quiet.[(triple8 OR ((triple5) -> rule1))] Bob is red.[(triple9)] Bob is round.[(triple10)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((triple1) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple1) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
triple8
((triple5) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple9
Bob is round.
("Bob" "is" "round" "+")
triple10