Anne is furry. Anne is not smart. Dave is rough. Dave is white. Erin is blue. Erin is furry. Harry is big. All white things are big. If Anne is quiet and Anne is not smart then Anne is furry. If something is furry and not quiet then it is rough.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Harry is big.
("Harry" "is" "big" "+")
All white things are big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
If Anne is quiet and Anne is not smart then Anne is furry.
((("Anne" "is" "quiet" "+") ("Anne" "is" "smart" "~")) -> ("Anne" "is" "furry" "+"))
If something is furry and not quiet then it is rough.
((("something" "is" "furry" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "rough" "+"))
Dave is rough.
True
1
proof
[(triple3)]
("Dave" "is" "rough" "+")
triple3
Erin is not blue.
False
1
inv-proof
[(triple5)]
("Erin" "is" "blue" "-")
triple5
Dave is big.
True
2
proof
[(((triple4) -> rule1))]
("Dave" "is" "big" "+")
((triple4) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not big.
False
2
inv-proof
[(((triple4) -> rule1))]
("Dave" "is" "big" "-")
((triple4) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "big" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Anne is furry.[(triple1)] Anne is not smart.[(triple2)] Dave is rough.[(triple3)] Dave is white.[(triple4)] Erin is blue.[(triple5)] Erin is furry.[(triple6)] Harry is big.[(triple7)] @1: Dave is big.[(((triple4) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is not smart.
("Anne" "is" "smart" "-")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
((triple4) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1