Anne is cold. Anne is green. Anne is red. Anne is rough. Anne is white. Anne is young. Erin is cold. Erin is white. Fiona is not cold. Fiona is furry. Fiona is green. Fiona is red. Fiona is rough. Fiona is not white. Fiona is young. If Anne is furry then Anne is not rough. If someone is furry then they are rough. If someone is white and not cold then they are red.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Fiona is young.
("Fiona" "is" "young" "+")
If Anne is furry then Anne is not rough.
((("Anne" "is" "furry" "+")) -> ("Anne" "is" "rough" "-"))
If someone is furry then they are rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
If someone is white and not cold then they are red.
((("someone" "is" "white" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "red" "+"))
Anne is rough.
True
1
proof
[(triple4)]
("Anne" "is" "rough" "+")
triple4
Anne is not red.
False
1
inv-proof
[(triple3)]
("Anne" "is" "red" "-")
triple3
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "red" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Erin is cold.[(triple7)] Erin is white.[(triple8)] Fiona is furry.[(triple10)] Fiona is green.[(triple11)] Fiona is not cold.[(triple9)] Fiona is not white.[(triple14)] Fiona is red.[(triple12)] Fiona is rough.[(triple13 OR ((triple10) -> rule2))] Fiona is young.[(triple15)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple9
Fiona is not white.
("Fiona" "is" "white" "-")
triple14
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
triple13
((triple10) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple15