Fiona is not big. Fiona is blue. Fiona is green. Fiona is kind. Fiona is red. Fiona is smart. Fiona is not young. If something is blue then it is green.
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
If something is blue then it is green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
Fiona is not young.
True
1
proof
[(triple7)]
("Fiona" "is" "young" "-")
triple7
Fiona is not blue.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "blue" "-")
triple2
@0: Fiona is blue.[(triple2)] Fiona is green.[(triple3 OR ((triple2) -> rule1))] Fiona is kind.[(triple4)] Fiona is not big.[(triple1)] Fiona is not young.[(triple7)] Fiona is red.[(triple5)] Fiona is smart.[(triple6)]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
((triple2) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is not big.
("Fiona" "is" "big" "-")
triple1
Fiona is not young.
("Fiona" "is" "young" "-")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6