Fiona is furry. Fiona is kind. Fiona is young. If someone is round and kind then they are furry. All round, big people are green. If someone is furry then they are big. All red, green people are round. Round people are red. If someone is furry then they are green.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is round and kind then they are furry.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
All round, big people are green.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is furry then they are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
All red, green people are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is furry then they are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Fiona is furry.
True
1
proof
[(triple1)]
("Fiona" "is" "furry" "+")
triple1
Fiona is not kind.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "kind" "-")
triple2
@0: Fiona is furry.[(triple1)] Fiona is kind.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is big.[(((triple1) -> rule3))] Fiona is green.[(((triple1) -> rule6))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
((triple1) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple1) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1