Fiona is furry. Fiona is green. Fiona is red. If Fiona is round and Fiona is nice then Fiona is red. Red things are nice. All nice things are red. If Fiona is quiet then Fiona is kind. Round, red things are kind. Round things are red. If something is red then it is round. If something is quiet and kind then it is furry.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If Fiona is round and Fiona is nice then Fiona is red.
((("Fiona" "is" "round" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "red" "+"))
Red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
All nice things are red.
((("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
If Fiona is quiet then Fiona is kind.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "kind" "+"))
Round, red things are kind.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
Round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
If something is red then it is round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If something is quiet and kind then it is furry.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
Fiona is furry.
True
1
proof
[(triple1)]
("Fiona" "is" "furry" "+")
triple1
Fiona is not green.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "green" "-")
triple2
Fiona is nice.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "nice" "+")
((triple3) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple3) -> rule7))]
("Fiona" "is" "round" "-")
((triple3) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
@0: Fiona is furry.[(triple1)] Fiona is green.[(triple2)] Fiona is red.[(triple3)] @1: Fiona is nice.[(((triple3) -> rule2))] Fiona is round.[(((triple3) -> rule7))] @2: Fiona is kind.[(((((triple3) -> rule7) triple3) -> rule5))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple3) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple3) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple3) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2