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