Anne is not rough. Erin is furry. Fiona is quiet. Gary is red. Furry things are blue. If something is quiet then it is not smart. If Anne is furry and Anne is not smart then Anne is not green.
Anne is not rough.
("Anne" "is" "rough" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Furry things are blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
If something is quiet then it is not smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "-"))
If Anne is furry and Anne is not smart then Anne is not green.
((("Anne" "is" "furry" "+") ("Anne" "is" "smart" "~")) -> ("Anne" "is" "green" "-"))
Erin is furry.
True
1
proof
[(triple2)]
("Erin" "is" "furry" "+")
triple2
Gary is not red.
False
1
inv-proof
[(triple4)]
("Gary" "is" "red" "-")
triple4
Fiona is not smart.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "smart" "-")
((triple3) -> (rule2 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Erin is not blue.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "blue" "-")
((triple2) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "blue" "-")
Anne is blue.
Unknown
rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "blue" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Anne is not rough.[(triple1)] Erin is furry.[(triple2)] Fiona is quiet.[(triple3)] Gary is red.[(triple4)] @1: Erin is blue.[(((triple2) -> rule1))] Fiona is not smart.[(((triple3) -> rule2))]
Anne is not rough.
("Anne" "is" "rough" "-")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Fiona is not smart.
("Fiona" "is" "smart" "-")
((triple3) -> (rule2 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1