Charlie is big. Charlie is not furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Fiona is big. Fiona is furry. Fiona is not green. Fiona is kind. Fiona is nice. Fiona is not quiet. Fiona is red. If Fiona is not kind and Fiona is not nice then Fiona is furry. If Fiona is green then Fiona is furry.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is red.
("Fiona" "is" "red" "+")
If Fiona is not kind and Fiona is not nice then Fiona is furry.
((("Fiona" "is" "kind" "~") ("Fiona" "is" "nice" "~")) -> ("Fiona" "is" "furry" "+"))
If Fiona is green then Fiona is furry.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "furry" "+"))
Charlie is nice.
True
1
proof
[(triple5)]
("Charlie" "is" "nice" "+")
triple5
Charlie is not kind.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "kind" "-")
triple4
@0: Charlie is big.[(triple1)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is not furry.[(triple2)] Charlie is quiet.[(triple6)] Charlie is red.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple11)] Fiona is nice.[(triple12)] Fiona is not green.[(triple10)] Fiona is not quiet.[(triple13)] Fiona is red.[(triple14)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Fiona is nice.
("Fiona" "is" "nice" "+")
triple12
Fiona is not green.
("Fiona" "is" "green" "-")
triple10
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple13
Fiona is red.
("Fiona" "is" "red" "+")
triple14