Fiona is not cold. Fiona is not green. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. If Fiona is quiet and Fiona is smart then Fiona is not cold. If Fiona is nice then Fiona is not cold. If someone is quiet then they are smart.
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If Fiona is quiet and Fiona is smart then Fiona is not cold.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "cold" "-"))
If Fiona is nice then Fiona is not cold.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "cold" "-"))
If someone is quiet then they are smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
Fiona is round.
True
1
proof
[(triple6)]
("Fiona" "is" "round" "+")
triple6
Fiona is not smart.
False
1
inv-proof
[(triple7 OR ((triple4) -> rule3))]
("Fiona" "is" "smart" "-")
triple7
((triple4) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
@0: Fiona is nice.[(triple3)] Fiona is not cold.[(triple1 OR ((triple3) -> rule2) OR ((triple4 triple7) -> rule1) OR ((triple4 ((triple4) -> rule3)) -> rule1))] Fiona is not green.[(triple2)] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7 OR ((triple4) -> rule3))]
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple1
((triple3) -> (rule2 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
((triple4 triple7) -> (rule1 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
((triple4 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not green.
("Fiona" "is" "green" "-")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
((triple4) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1