Anne is rough. Bob is red. Dave is red. Dave is smart. Erin is not big. Erin is red. Erin is rough. If something is red then it is round. If something is cold and not round then it is rough.
Anne is rough.
("Anne" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
If something is red then it is round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If something is cold and not round then it is rough.
((("something" "is" "cold" "+") ("something" "is" "round" "~")) -> ("something" "is" "rough" "+"))
Erin is red.
True
1
proof
[(triple6)]
("Erin" "is" "red" "+")
triple6
Anne is not rough.
False
1
inv-proof
[(triple1)]
("Anne" "is" "rough" "-")
triple1
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "rough" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Anne is rough.[(triple1)] Bob is red.[(triple2)] Dave is red.[(triple3)] Dave is smart.[(triple4)] Erin is not big.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7)] @1: Bob is round.[(((triple2) -> rule1))] Dave is round.[(((triple3) -> rule1))] Erin is round.[(((triple6) -> rule1))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Erin is not big.
("Erin" "is" "big" "-")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
((triple2) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple3) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple6) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1