Anne is big. Anne is not green. Anne is rough. Dave is kind. Dave is not nice. Fiona is big. Fiona is nice. If Dave is green then Dave is nice. Big people are nice. If Fiona is not smart and Fiona is not nice then Fiona is furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not nice.
("Dave" "is" "nice" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
If Dave is green then Dave is nice.
((("Dave" "is" "green" "+")) -> ("Dave" "is" "nice" "+"))
Big people are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If Fiona is not smart and Fiona is not nice then Fiona is furry.
((("Fiona" "is" "smart" "~") ("Fiona" "is" "nice" "~")) -> ("Fiona" "is" "furry" "+"))
Anne is not green.
True
1
proof
[(triple2)]
("Anne" "is" "green" "-")
triple2
Anne is green.
False
1
inv-proof
[(triple2)]
("Anne" "is" "green" "+")
triple2
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "furry" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Anne is big.[(triple1)] Anne is not green.[(triple2)] Anne is rough.[(triple3)] Dave is kind.[(triple4)] Dave is not nice.[(triple5)] Fiona is big.[(triple6)] Fiona is nice.[(triple7 OR ((triple6) -> rule2))] @1: Anne is nice.[(((triple1) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is not green.
("Anne" "is" "green" "-")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is not nice.
("Dave" "is" "nice" "-")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
((triple6) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1