Anne is big. Anne is blue. Anne is kind. Bob is blue. Bob is green. Bob is kind. Bob is red. Fiona is blue. Fiona is furry. Fiona is quiet. If Anne is furry and Anne is blue then Anne is big. If something is kind and blue then it is quiet. Red things are furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
If Anne is furry and Anne is blue then Anne is big.
((("Anne" "is" "furry" "+") ("Anne" "is" "blue" "+")) -> ("Anne" "is" "big" "+"))
If something is kind and blue then it is quiet.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
Red things are furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Fiona is blue.
True
1
proof
[(triple8)]
("Fiona" "is" "blue" "+")
triple8
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Bob is quiet.
True
3
proof
[(((triple6 triple4) -> rule2))]
("Bob" "is" "quiet" "+")
((triple6 triple4) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is not quiet.
False
3
inv-proof
[(((triple6 triple4) -> rule2))]
("Bob" "is" "quiet" "-")
((triple6 triple4) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "furry" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Bob is blue.[(triple4)] Bob is green.[(triple5)] Bob is kind.[(triple6)] Bob is red.[(triple7)] Fiona is blue.[(triple8)] Fiona is furry.[(triple9)] Fiona is quiet.[(triple10)] @1: Anne is quiet.[(((triple3 triple2) -> rule2))] Bob is furry.[(((triple7) -> rule3))] Bob is quiet.[(((triple6 triple4) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple3 triple2) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((triple7) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple6 triple4) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1