Anne is cold. Anne is furry. Anne is not green. Anne is red. Anne is smart. Fiona is big. Fiona is green. Smart things are not green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Smart things are not green.
((("something" "is" "smart" "+")) -> ("something" "is" "green" "-"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Anne is green.
False
1
inv-proof
[(triple3 OR ((triple5) -> rule1))]
("Anne" "is" "green" "+")
triple3
((triple5) -> (rule1 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is not green.[(triple3 OR ((triple5) -> rule1))] Anne is red.[(triple4)] Anne is smart.[(triple5)] Fiona is big.[(triple6)] Fiona is green.[(triple7)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is not green.
("Anne" "is" "green" "-")
triple3
((triple5) -> (rule1 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7