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