Anne is blue. Anne is not cold. Anne is furry. Anne is not white. Bob is blue. Bob is furry. Bob is rough. Bob is smart. Erin is furry. Erin is rough. Erin is not white. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is white. All quiet, white things are blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not white.
("Anne" "is" "white" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not white.
("Erin" "is" "white" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All quiet, white things are blue.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
Anne is not cold.
True
1
proof
[(triple2)]
("Anne" "is" "cold" "-")
triple2
Fiona is not rough.
False
1
inv-proof
[(triple14)]
("Fiona" "is" "rough" "-")
triple14
Fiona is blue.
True
3
proof
[(((triple13 triple15) -> rule1))]
("Fiona" "is" "blue" "+")
((triple13 triple15) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
3
inv-proof
[(((triple13 triple15) -> rule1))]
("Fiona" "is" "blue" "-")
((triple13 triple15) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "blue" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple3)] Anne is not cold.[(triple2)] Anne is not white.[(triple4)] Bob is blue.[(triple5)] Bob is furry.[(triple6)] Bob is rough.[(triple7)] Bob is smart.[(triple8)] Erin is furry.[(triple9)] Erin is not white.[(triple11)] Erin is rough.[(triple10)] Fiona is furry.[(triple12)] Fiona is quiet.[(triple13)] Fiona is rough.[(triple14)] Fiona is white.[(triple15)] @1: Fiona is blue.[(((triple13 triple15) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is not cold.
("Anne" "is" "cold" "-")
triple2
Anne is not white.
("Anne" "is" "white" "-")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple7
Bob is smart.
("Bob" "is" "smart" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is not white.
("Erin" "is" "white" "-")
triple11
Erin is rough.
("Erin" "is" "rough" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple13
Fiona is rough.
("Fiona" "is" "rough" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple13 triple15) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1