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