Anne is red. Bob is smart. If Bob is smart then Bob is red. If Anne is furry then Anne is smart. Big, smart things are quiet. All furry things are red. Green, big things are smart. If Anne is smart then Anne is furry.
Anne is red.
("Anne" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
If Bob is smart then Bob is red.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "red" "+"))
If Anne is furry then Anne is smart.
((("Anne" "is" "furry" "+")) -> ("Anne" "is" "smart" "+"))
Big, smart things are quiet.
((("something" "is" "big" "+") ("something" "is" "smart" "+")) -> ("something" "is" "quiet" "+"))
All furry things are red.
((("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
Green, big things are smart.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
If Anne is smart then Anne is furry.
((("Anne" "is" "smart" "+")) -> ("Anne" "is" "furry" "+"))
Bob is smart.
True
1
proof
[(triple2)]
("Bob" "is" "smart" "+")
triple2
Bob is not smart.
False
1
inv-proof
[(triple2)]
("Bob" "is" "smart" "-")
triple2
Bob is red.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "red" "+")
((triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "red" "-")
((triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Anne is not smart.
Unknown
inv-rconc
[@3: Anne is smart.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule5 <- FAIL)]]
("Anne" "is" "smart" "-")
Anne is furry.
Unknown
rconc
[@2: Anne is furry.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Anne" "is" "furry" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Anne is red.[(triple1)] Bob is smart.[(triple2)] @1: Bob is red.[(((triple2) -> rule1))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
((triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1