Fiona is big. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is white. If something is quiet and rough then it is white.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is quiet and rough then it is white.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
Fiona is kind.
True
1
proof
[(triple3)]
("Fiona" "is" "kind" "+")
triple3
Fiona is not rough.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "rough" "-")
triple6
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is kind.[(triple3)] Fiona is quiet.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Fiona is white.[(triple7 OR ((triple4 triple6) -> rule1))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
((triple4 triple6) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1