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