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