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