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