Fiona is blue. Fiona is cold. Fiona is not furry. Fiona is green. Fiona is kind. Fiona is rough. Fiona is young. If someone is kind then they are not furry.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is kind then they are not furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "-"))
Fiona is kind.
True
1
proof
[(triple5)]
("Fiona" "is" "kind" "+")
triple5
Fiona is not green.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "green" "-")
triple4
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple4)] Fiona is kind.[(triple5)] Fiona is not furry.[(triple3 OR ((triple5) -> rule1))] Fiona is rough.[(triple6)] Fiona is young.[(triple7)]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple3
((triple5) -> (rule1 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7