Anne is rough. Bob is round. Fiona is round. Gary is smart. If Gary is young and Gary is nice then Gary is round. If Anne is round and Anne is white then Anne is furry. All smart people are furry.
Anne is rough.
("Anne" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If Gary is young and Gary is nice then Gary is round.
((("Gary" "is" "young" "+") ("Gary" "is" "nice" "+")) -> ("Gary" "is" "round" "+"))
If Anne is round and Anne is white then Anne is furry.
((("Anne" "is" "round" "+") ("Anne" "is" "white" "+")) -> ("Anne" "is" "furry" "+"))
All smart people are furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
Bob is round.
True
1
proof
[(triple2)]
("Bob" "is" "round" "+")
triple2
Bob is not round.
False
1
inv-proof
[(triple2)]
("Bob" "is" "round" "-")
triple2
Gary is furry.
True
2
proof
[(((triple4) -> rule3))]
("Gary" "is" "furry" "+")
((triple4) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple4) -> rule3))]
("Gary" "is" "furry" "-")
((triple4) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "furry" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "round" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Anne is rough.[(triple1)] Bob is round.[(triple2)] Fiona is round.[(triple3)] Gary is smart.[(triple4)] @1: Gary is furry.[(((triple4) -> rule3))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Gary is smart.
("Gary" "is" "smart" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
((triple4) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1