Anne is nice. Anne is rough. Anne is smart. Bob is rough. Gary is furry. Gary is rough. Gary is round. Furry, round things are smart. If something is furry then it is white.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Furry, round things are smart.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
If something is furry then it is white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
Gary is round.
True
1
proof
[(triple7)]
("Gary" "is" "round" "+")
triple7
Gary is not furry.
False
1
inv-proof
[(triple5)]
("Gary" "is" "furry" "-")
triple5
Gary is white.
True
2
proof
[(((triple5) -> rule2))]
("Gary" "is" "white" "+")
((triple5) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not smart.
False
3
inv-proof
[(((triple5 triple7) -> rule1))]
("Gary" "is" "smart" "-")
((triple5 triple7) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "smart" "-")
Bob is white.
Unknown
rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "white" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Bob is rough.[(triple4)] Gary is furry.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7)] @1: Gary is smart.[(((triple5 triple7) -> rule1))] Gary is white.[(((triple5) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
Gary is smart.
("Gary" "is" "smart" "+")
((triple5 triple7) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple5) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1