Anne is green. Anne is white. Anne is young. Erin is cold. Erin is furry. Erin is green. Erin is quiet. Erin is white. Erin is young. Fiona is quiet. Fiona is white. Fiona is young. If Anne is quiet and Anne is young then Anne is cold. If Anne is smart and Anne is young then Anne is cold.
Anne is green.
("Anne" "is" "green" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Anne is quiet and Anne is young then Anne is cold.
((("Anne" "is" "quiet" "+") ("Anne" "is" "young" "+")) -> ("Anne" "is" "cold" "+"))
If Anne is smart and Anne is young then Anne is cold.
((("Anne" "is" "smart" "+") ("Anne" "is" "young" "+")) -> ("Anne" "is" "cold" "+"))
Erin is furry.
True
1
proof
[(triple5)]
("Erin" "is" "furry" "+")
triple5
Fiona is not quiet.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "quiet" "-")
triple10
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "cold" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Anne is green.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Erin is cold.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6)] Erin is quiet.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9)] Fiona is quiet.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12)]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12