Fiona is big. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is round. Quiet, round people are furry. If someone is green and furry then they are big.
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 quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Quiet, round people are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
If someone is green and furry then they are big.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
Fiona is kind.
True
1
proof
[(triple4)]
("Fiona" "is" "kind" "+")
triple4
Fiona is not kind.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "kind" "-")
triple4
@0: Fiona is big.[(triple1 OR ((triple3 triple2) -> rule2) OR ((triple3 ((triple5 triple7) -> rule1)) -> rule2))] Fiona is furry.[(triple2 OR ((triple5 triple7) -> rule1))] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is quiet.[(triple5)] Fiona is rough.[(triple6)] Fiona is round.[(triple7)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
((triple3 triple2) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple3 ((triple5 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
((triple5 triple7) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7