Anne is not red. Anne is white. Bob is not furry. Bob is rough. Bob is smart. Fiona is furry. Fiona is nice. Fiona is round. Gary is not nice. Gary is round. If someone is round then they are rough.
Anne is not red.
("Anne" "is" "red" "-")
Anne is white.
("Anne" "is" "white" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is round.
("Gary" "is" "round" "+")
If someone is round then they are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
Fiona is round.
True
1
proof
[(triple8)]
("Fiona" "is" "round" "+")
triple8
Anne is red.
False
1
inv-proof
[(triple1)]
("Anne" "is" "red" "+")
triple1
Fiona is rough.
True
2
proof
[(((triple8) -> rule1))]
("Fiona" "is" "rough" "+")
((triple8) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple8) -> rule1))]
("Fiona" "is" "rough" "-")
((triple8) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Anne is not rough.
Unknown
inv-rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "rough" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Anne is not red.[(triple1)] Anne is white.[(triple2)] Bob is not furry.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Fiona is furry.[(triple6)] Fiona is nice.[(triple7)] Fiona is round.[(triple8)] Gary is not nice.[(triple9)] Gary is round.[(triple10)] @1: Fiona is rough.[(((triple8) -> rule1))] Gary is rough.[(((triple10) -> rule1))]
Anne is not red.
("Anne" "is" "red" "-")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Bob is not furry.
("Bob" "is" "furry" "-")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Gary is not nice.
("Gary" "is" "nice" "-")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple8) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple10) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1