Anne is cold. Anne is furry. Anne is not green. Anne is quiet. Anne is rough. Anne is round. Anne is smart. Bob is green. Bob is quiet. Fiona is cold. Fiona is furry. Fiona is green. Fiona is rough. Fiona is round. Fiona is not smart. If Bob is cold then Bob is quiet. If Fiona is round then Fiona is cold. Cold things are round.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
If Bob is cold then Bob is quiet.
((("Bob" "is" "cold" "+")) -> ("Bob" "is" "quiet" "+"))
If Fiona is round then Fiona is cold.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "cold" "+"))
Cold things are round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
Fiona is round.
True
1
proof
[(triple14 OR ((triple10) -> rule3))]
("Fiona" "is" "round" "+")
triple14
((triple10) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not furry.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "furry" "-")
triple11
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "round" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is not green.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6 OR ((triple1) -> rule3))] Anne is smart.[(triple7)] Bob is green.[(triple8)] Bob is quiet.[(triple9)] Fiona is cold.[(triple10 OR ((triple14) -> rule2))] Fiona is furry.[(triple11)] Fiona is green.[(triple12)] Fiona is not smart.[(triple15)] Fiona is rough.[(triple13)] Fiona is round.[(triple14 OR ((triple10) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is not green.
("Anne" "is" "green" "-")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
((triple1) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
triple8
Bob is quiet.
("Bob" "is" "quiet" "+")
triple9
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
((triple14) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple15
Fiona is rough.
("Fiona" "is" "rough" "+")
triple13
Fiona is round.
("Fiona" "is" "round" "+")
triple14
((triple10) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1