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