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