Anne is cold. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is round. Anne is white. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. If someone is round then they are white.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
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 round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is round then they are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Anne is quiet.
True
1
proof
[(triple3)]
("Anne" "is" "quiet" "+")
triple3
Fiona is not round.
False
1
inv-proof
[(triple13)]
("Fiona" "is" "round" "-")
triple13
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7 OR ((triple6) -> rule1))] Fiona is cold.[(triple8)] Fiona is kind.[(triple9)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is rough.[(triple12)] Fiona is round.[(triple13)] Fiona is white.[(triple14 OR ((triple13) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Anne is white.
("Anne" "is" "white" "+")
triple7
((triple6) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Fiona is round.
("Fiona" "is" "round" "+")
triple13
Fiona is white.
("Fiona" "is" "white" "+")
triple14
((triple13) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1