Anne is furry. Anne is white. Charlie is not big. Charlie is not cold. Dave is furry. Dave is kind. Dave is rough. Dave is white. Erin is furry. Erin is kind. Erin is not smart. Erin is white. Big people are furry. If someone is smart then they are furry. If Dave is rough then Dave is big.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is white.
("Erin" "is" "white" "+")
Big people are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
If someone is smart then they are furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
If Dave is rough then Dave is big.
((("Dave" "is" "rough" "+")) -> ("Dave" "is" "big" "+"))
Dave is kind.
True
1
proof
[(triple6)]
("Dave" "is" "kind" "+")
triple6
Anne is not furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "-")
triple1
Dave is big.
True
2
proof
[(((triple7) -> rule3))]
("Dave" "is" "big" "+")
((triple7) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not big.
False
2
inv-proof
[(((triple7) -> rule3))]
("Dave" "is" "big" "-")
((triple7) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "furry" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
@0: Anne is furry.[(triple1)] Anne is white.[(triple2)] Charlie is not big.[(triple3)] Charlie is not cold.[(triple4)] Dave is furry.[(triple5 OR ((((triple7) -> rule3)) -> rule1))] Dave is kind.[(triple6)] Dave is rough.[(triple7)] Dave is white.[(triple8)] Erin is furry.[(triple9)] Erin is kind.[(triple10)] Erin is not smart.[(triple11)] Erin is white.[(triple12)] @1: Dave is big.[(((triple7) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Charlie is not big.
("Charlie" "is" "big" "-")
triple3
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is kind.
("Erin" "is" "kind" "+")
triple10
Erin is not smart.
("Erin" "is" "smart" "-")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
Dave is big.
("Dave" "is" "big" "+")
((triple7) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1