Anne is furry. Anne is nice. Anne is smart. Anne is young. Fiona is furry. Fiona is nice. Fiona is red. Red, quiet people are furry. If Anne is young then Anne is nice.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Red, quiet people are furry.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If Anne is young then Anne is nice.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "nice" "+"))
Anne is nice.
True
1
proof
[(triple2 OR ((triple4) -> rule2))]
("Anne" "is" "nice" "+")
triple2
((triple4) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not nice.
False
1
inv-proof
[(triple2 OR ((triple4) -> rule2))]
("Anne" "is" "nice" "-")
triple2
((triple4) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2 OR ((triple4) -> rule2))] Anne is smart.[(triple3)] Anne is young.[(triple4)] Fiona is furry.[(triple5)] Fiona is nice.[(triple6)] Fiona is red.[(triple7)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
((triple4) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7