Fiona is not blue. Fiona is green. Fiona is nice. Fiona is red. Fiona is round. Fiona is smart. Fiona is not white. Smart, red things are green. If Fiona is blue and Fiona is not nice then Fiona is not red. All white, green things are round.
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Smart, red things are green.
((("something" "is" "smart" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
If Fiona is blue and Fiona is not nice then Fiona is not red.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "nice" "~")) -> ("Fiona" "is" "red" "-"))
All white, green things are round.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Fiona is green.
True
1
proof
[(triple2 OR ((triple6 triple4) -> rule1))]
("Fiona" "is" "green" "+")
triple2
((triple6 triple4) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not nice.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "nice" "-")
triple3
@0: Fiona is green.[(triple2 OR ((triple6 triple4) -> rule1))] Fiona is nice.[(triple3)] Fiona is not blue.[(triple1)] Fiona is not white.[(triple7)] Fiona is red.[(triple4)] Fiona is round.[(triple5)] Fiona is smart.[(triple6)]
Fiona is green.
("Fiona" "is" "green" "+")
triple2
((triple6 triple4) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple1
Fiona is not white.
("Fiona" "is" "white" "-")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6