Fiona is cold. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is smart. If Fiona is green and Fiona is cold then Fiona is red. If something is cold then it is smart.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If Fiona is green and Fiona is cold then Fiona is red.
((("Fiona" "is" "green" "+") ("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "red" "+"))
If something is cold then it is smart.
((("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
Fiona is cold.
True
1
proof
[(triple1)]
("Fiona" "is" "cold" "+")
triple1
Fiona is not nice.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "nice" "-")
triple4
@0: Fiona is cold.[(triple1)] Fiona is furry.[(triple2)] Fiona is green.[(triple3)] Fiona is nice.[(triple4)] Fiona is quiet.[(triple5)] Fiona is red.[(triple6 OR ((triple3 triple1) -> rule1))] Fiona is smart.[(triple7 OR ((triple1) -> rule2))]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
((triple3 triple1) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
((triple1) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1