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