Fiona is big. Fiona is cold. Fiona is green. Fiona is not kind. Fiona is nice. Fiona is smart. Fiona is white. All green things are smart.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All green things are smart.
((("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
Fiona is smart.
True
1
proof
[(triple6 OR ((triple3) -> rule1))]
("Fiona" "is" "smart" "+")
triple6
((triple3) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not white.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "white" "-")
triple7
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3)] Fiona is nice.[(triple5)] Fiona is not kind.[(triple4)] Fiona is smart.[(triple6 OR ((triple3) -> rule1))] Fiona is white.[(triple7)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
((triple3) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple7