Fiona is big. Fiona is not blue. Fiona is not cold. Fiona is nice. Fiona is smart. Fiona is white. Fiona is young. If Fiona is not smart then Fiona is young. If someone is blue and white then they are nice. If Fiona is big and Fiona is not white then Fiona is nice.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Fiona is not smart then Fiona is young.
((("Fiona" "is" "smart" "~")) -> ("Fiona" "is" "young" "+"))
If someone is blue and white then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
If Fiona is big and Fiona is not white then Fiona is nice.
((("Fiona" "is" "big" "+") ("Fiona" "is" "white" "~")) -> ("Fiona" "is" "nice" "+"))
Fiona is white.
True
1
proof
[(triple6)]
("Fiona" "is" "white" "+")
triple6
Fiona is not smart.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "smart" "-")
triple5
@0: Fiona is big.[(triple1)] Fiona is nice.[(triple4)] Fiona is not blue.[(triple2)] Fiona is not cold.[(triple3)] Fiona is smart.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple2
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7