Anne is blue. Bob is green. If something is white then it is furry. If something is nice and white then it is blue. If something is quiet and furry then it is green. If something is quiet and furry then it is round. Quiet things are furry. If something is furry and green then it is blue. All green things are furry. If Anne is white then Anne is furry.
Anne is blue.
("Anne" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
If something is white then it is furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
If something is nice and white then it is blue.
((("something" "is" "nice" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
If something is quiet and furry then it is green.
((("something" "is" "quiet" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
If something is quiet and furry then it is round.
((("something" "is" "quiet" "+") ("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
Quiet things are furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
If something is furry and green then it is blue.
((("something" "is" "furry" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
All green things are furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
If Anne is white then Anne is furry.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "furry" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Bob is furry.
True
2
proof
[(((triple2) -> rule7))]
("Bob" "is" "furry" "+")
((triple2) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not furry.
False
2
inv-proof
[(((triple2) -> rule7))]
("Bob" "is" "furry" "-")
((triple2) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "round" "-")
Anne is green.
Unknown
rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "green" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is blue.[(triple1)] Bob is green.[(triple2)] @1: Bob is furry.[(((triple2) -> rule7))] @2: Bob is blue.[(((((triple2) -> rule7) triple2) -> rule6))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
((triple2) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((((triple2) -> (rule7 % int2)) triple2) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2