Anne is not blue. Anne is green. Anne is white. Charlie is round. Charlie is not white. Erin is cold. Erin is not kind. If someone is blue and not cold then they are white. All round, blue people are kind. If someone is white then they are not kind. If someone is green and white then they are not kind. If Anne is round and Anne is kind then Anne is green. If someone is green then they are big.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
If someone is blue and not cold then they are white.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "white" "+"))
All round, blue people are kind.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is white then they are not kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "-"))
If someone is green and white then they are not kind.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "-"))
If Anne is round and Anne is kind then Anne is green.
((("Anne" "is" "round" "+") ("Anne" "is" "kind" "+")) -> ("Anne" "is" "green" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Anne is not blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Charlie is not round.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "round" "-")
triple4
Anne is big.
True
2
proof
[(((triple2) -> rule6))]
("Anne" "is" "big" "+")
((triple2) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not big.
False
2
inv-proof
[(((triple2) -> rule6))]
("Anne" "is" "big" "-")
((triple2) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Erin is not white.
Unknown
inv-rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "white" "-")
Erin is big.
Unknown
rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "big" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is green.[(triple2)] Anne is not blue.[(triple1)] Anne is white.[(triple3)] Charlie is not white.[(triple5)] Charlie is round.[(triple4)] Erin is cold.[(triple6)] Erin is not kind.[(triple7)] @1: Anne is big.[(((triple2) -> rule6))] Anne is not kind.[(((triple3) -> rule3) OR ((triple2 triple3) -> rule4))]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple3
Charlie is not white.
("Charlie" "is" "white" "-")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is not kind.
("Erin" "is" "kind" "-")
triple7
Anne is big.
("Anne" "is" "big" "+")
((triple2) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not kind.
("Anne" "is" "kind" "-")
((triple3) -> (rule3 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1
((triple2 triple3) -> (rule4 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1