Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is not red. Fiona is white. Fiona is young. All green things are furry. Kind things are furry.
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 not red.
("Fiona" "is" "red" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All green things are furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
Kind things are furry.
((("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
Fiona is young.
True
1
proof
[(triple7)]
("Fiona" "is" "young" "+")
triple7
Fiona is not furry.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule1) OR ((triple3) -> rule2))]
("Fiona" "is" "furry" "-")
triple1
((triple2) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple3) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
@0: Fiona is furry.[(triple1 OR ((triple2) -> rule1) OR ((triple3) -> rule2))] Fiona is green.[(triple2)] Fiona is kind.[(triple3)] Fiona is not red.[(triple5)] Fiona is quiet.[(triple4)] Fiona is white.[(triple6)] Fiona is young.[(triple7)]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
((triple2) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple3) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is not red.
("Fiona" "is" "red" "-")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7