Fiona is big. Fiona is blue. Fiona is cold. Fiona is not green. Fiona is nice. Fiona is round. Fiona is young. If Fiona is big and Fiona is cold then Fiona is round. All green, big things are cold. If something is cold and not round then it is nice.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Fiona is big and Fiona is cold then Fiona is round.
((("Fiona" "is" "big" "+") ("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "round" "+"))
All green, big things are cold.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
If something is cold and not round then it is nice.
((("something" "is" "cold" "+") ("something" "is" "round" "~")) -> ("something" "is" "nice" "+"))
Fiona is blue.
True
1
proof
[(triple2)]
("Fiona" "is" "blue" "+")
triple2
Fiona is not round.
False
1
inv-proof
[(triple6 OR ((triple1 triple3) -> rule1))]
("Fiona" "is" "round" "-")
triple6
((triple1 triple3) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is cold.[(triple3)] Fiona is nice.[(triple5)] Fiona is not green.[(triple4)] Fiona is round.[(triple6 OR ((triple1 triple3) -> rule1))] Fiona is young.[(triple7)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is not green.
("Fiona" "is" "green" "-")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple6
((triple1 triple3) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple7