Charlie is not big. Charlie is furry. Charlie is green. Charlie is kind. Charlie is not quiet. Charlie is round. Charlie is smart. Fiona is not big. Fiona is furry. Fiona is not green. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is smart. If something is big and green then it is not kind.
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is not 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 quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is big and green then it is not kind.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "-"))
Charlie is green.
True
1
proof
[(triple3)]
("Charlie" "is" "green" "+")
triple3
Fiona is not kind.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "kind" "-")
triple11
@0: Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is not big.[(triple1)] Charlie is not quiet.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)] Fiona is furry.[(triple9)] Fiona is kind.[(triple11)] Fiona is not big.[(triple8)] Fiona is not green.[(triple10)] Fiona is quiet.[(triple12)] Fiona is round.[(triple13)] Fiona is smart.[(triple14)]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is not big.
("Charlie" "is" "big" "-")
triple1
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Fiona is not big.
("Fiona" "is" "big" "-")
triple8
Fiona is not green.
("Fiona" "is" "green" "-")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
Fiona is round.
("Fiona" "is" "round" "+")
triple13
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14