Anne is not quiet. Dave is furry. Erin is quiet. Fiona is cold. Cold things are green. Nice things are green. If something is cold then it is green. Big, white things are not nice. If Anne is green then Anne is quiet. All nice, green things are furry. If something is big and green then it is not furry. If something is big and not quiet then it is not furry.
Anne is not quiet.
("Anne" "is" "quiet" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Cold things are green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
Nice things are green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If something is cold then it is green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
Big, white things are not nice.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "-"))
If Anne is green then Anne is quiet.
((("Anne" "is" "green" "+")) -> ("Anne" "is" "quiet" "+"))
All nice, green things are furry.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
If something is big and green then it is not furry.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "-"))
If something is big and not quiet then it is not furry.
((("something" "is" "big" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "furry" "-"))
Fiona is cold.
True
1
proof
[(triple4)]
("Fiona" "is" "cold" "+")
triple4
Fiona is not cold.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "cold" "-")
triple4
Fiona is green.
True
2
proof
[(((triple4) -> rule1) OR ((triple4) -> rule3))]
("Fiona" "is" "green" "+")
((triple4) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple4) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple4) -> rule1) OR ((triple4) -> rule3))]
("Fiona" "is" "green" "-")
((triple4) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple4) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "-")
Anne is green.
Unknown
rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "green" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is not quiet.[(triple1)] Dave is furry.[(triple2)] Erin is quiet.[(triple3)] Fiona is cold.[(triple4)] @1: Fiona is green.[(((triple4) -> rule1) OR ((triple4) -> rule3))]
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
((triple4) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple4) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1