Anne is blue. Bob is red. Charlie is red. Dave is big. All furry things are blue. If something is big then it is nice. Big, red things are not furry.
Anne is blue.
("Anne" "is" "blue" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
All furry things are blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
If something is big then it is nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
Big, red things are not furry.
((("something" "is" "big" "+") ("something" "is" "red" "+")) -> ("something" "is" "furry" "-"))
Bob is red.
True
1
proof
[(triple2)]
("Bob" "is" "red" "+")
triple2
Dave is not big.
False
1
inv-proof
[(triple4)]
("Dave" "is" "big" "-")
triple4
Dave is nice.
True
2
proof
[(((triple4) -> rule2))]
("Dave" "is" "nice" "+")
((triple4) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
2
inv-proof
[(((triple4) -> rule2))]
("Dave" "is" "nice" "-")
((triple4) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "nice" "-")
Anne is nice.
Unknown
rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "nice" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Anne is blue.[(triple1)] Bob is red.[(triple2)] Charlie is red.[(triple3)] Dave is big.[(triple4)] @1: Dave is nice.[(((triple4) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
((triple4) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1