Anne is cold. Charlie is not blue. Charlie is green. Charlie is smart. Charlie is young. Erin is blue. Erin is green. Erin is red. Erin is rough. Erin is young. Blue people are cold. If Anne is cold and Anne is not blue then Anne is rough. If someone is rough and not blue then they are not young.
Anne is cold.
("Anne" "is" "cold" "+")
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If Anne is cold and Anne is not blue then Anne is rough.
((("Anne" "is" "cold" "+") ("Anne" "is" "blue" "~")) -> ("Anne" "is" "rough" "+"))
If someone is rough and not blue then they are not young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "young" "-"))
Erin is blue.
True
1
proof
[(triple6)]
("Erin" "is" "blue" "+")
triple6
Erin is not rough.
False
1
inv-proof
[(triple9)]
("Erin" "is" "rough" "-")
triple9
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is cold.[(triple1)] Charlie is green.[(triple3)] Charlie is not blue.[(triple2)] Charlie is smart.[(triple4)] Charlie is young.[(triple5)] Erin is blue.[(triple6)] Erin is green.[(triple7)] Erin is red.[(triple8)] Erin is rough.[(triple9)] Erin is young.[(triple10)] @1: Erin is cold.[(((triple6) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is red.
("Erin" "is" "red" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Erin is cold.
("Erin" "is" "cold" "+")
((triple6) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1