Fiona is big. Fiona is cold. Fiona is green. Fiona is not quiet. Fiona is red. Fiona is not rough. Fiona is young. Quiet people are not rough. If Fiona is not big then Fiona is red. If someone is big then they are green.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is young.
("Fiona" "is" "young" "+")
Quiet people are not rough.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "-"))
If Fiona is not big then Fiona is red.
((("Fiona" "is" "big" "~")) -> ("Fiona" "is" "red" "+"))
If someone is big then they are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Fiona is young.
True
1
proof
[(triple7)]
("Fiona" "is" "young" "+")
triple7
Fiona is not red.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "red" "-")
triple5
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3 OR ((triple1) -> rule3))] Fiona is not quiet.[(triple4)] Fiona is not rough.[(triple6)] Fiona is red.[(triple5)] Fiona is young.[(triple7)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
((triple1) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple4
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple7