Anne is not furry. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is not round. Anne is young. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is not round. Fiona is young. If Fiona is red then Fiona is quiet.
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is not round.
("Anne" "is" "round" "-")
Anne is young.
("Anne" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is young.
("Fiona" "is" "young" "+")
If Fiona is red then Fiona is quiet.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "quiet" "+"))
Anne is not round.
True
1
proof
[(triple6)]
("Anne" "is" "round" "-")
triple6
Anne is not quiet.
False
1
inv-proof
[(triple4)]
("Anne" "is" "quiet" "-")
triple4
@0: Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is not furry.[(triple1)] Anne is not round.[(triple6)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is young.[(triple7)] Fiona is furry.[(triple8)] Fiona is kind.[(triple9)] Fiona is nice.[(triple10)] Fiona is not round.[(triple13)] Fiona is quiet.[(triple11 OR ((triple12) -> rule1))] Fiona is red.[(triple12)] Fiona is young.[(triple14)]
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Anne is not round.
("Anne" "is" "round" "-")
triple6
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is not round.
("Fiona" "is" "round" "-")
triple13
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
((triple12) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Fiona is young.
("Fiona" "is" "young" "+")
triple14