Anne is not furry. Anne is green. Anne is nice. Anne is red. Anne is round. Anne is young. Charlie is quiet. Charlie is not young. Erin is not furry. Erin is green. Erin is not quiet. Fiona is nice. Fiona is quiet. Fiona is not round. Fiona is young. If something is round and young then it is quiet. If something is quiet and young then it is nice. If something is red and not quiet then it is furry.
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is young.
("Fiona" "is" "young" "+")
If something is round and young then it is quiet.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
If something is quiet and young then it is nice.
((("something" "is" "quiet" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If something is red and not quiet then it is furry.
((("something" "is" "red" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "furry" "+"))
Anne is young.
True
1
proof
[(triple6)]
("Anne" "is" "young" "+")
triple6
Anne is not nice.
False
1
inv-proof
[(triple3 OR ((((triple5 triple6) -> rule1) triple6) -> rule2))]
("Anne" "is" "nice" "-")
triple3
((((triple5 triple6) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "nice" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((((triple5 triple6) -> rule1) triple6) -> rule2))] Anne is not furry.[(triple1)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6)] Charlie is not young.[(triple8)] Charlie is quiet.[(triple7)] Erin is green.[(triple10)] Erin is not furry.[(triple9)] Erin is not quiet.[(triple11)] Fiona is nice.[(triple12 OR ((triple13 triple15) -> rule2))] Fiona is not round.[(triple14)] Fiona is quiet.[(triple13)] Fiona is young.[(triple15)] @1: Anne is quiet.[(((triple5 triple6) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((((triple5 triple6) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Charlie is not young.
("Charlie" "is" "young" "-")
triple8
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple10
Erin is not furry.
("Erin" "is" "furry" "-")
triple9
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple11
Fiona is nice.
("Fiona" "is" "nice" "+")
triple12
((triple13 triple15) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not round.
("Fiona" "is" "round" "-")
triple14
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple13
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple5 triple6) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1