Dave is furry. Dave is white. Erin is cold. Erin is furry. Erin is not quiet. Erin is rough. Harry is cold. All white people are big.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
All white people are big.
((("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
Dave is furry.
True
1
proof
[(triple1)]
("Dave" "is" "furry" "+")
triple1
Dave is not furry.
False
1
inv-proof
[(triple1)]
("Dave" "is" "furry" "-")
triple1
Dave is big.
True
2
proof
[(((triple2) -> rule1))]
("Dave" "is" "big" "+")
((triple2) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not big.
False
2
inv-proof
[(((triple2) -> rule1))]
("Dave" "is" "big" "-")
((triple2) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Erin is big.
Unknown
rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "big" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Dave is furry.[(triple1)] Dave is white.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Erin is not quiet.[(triple5)] Erin is rough.[(triple6)] Harry is cold.[(triple7)] @1: Dave is big.[(((triple2) -> rule1))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
((triple2) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1