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