Fiona is not big. Fiona is blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is rough. Fiona is round. All nice people are blue.
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Fiona is round.
True
1
proof
[(triple7)]
("Fiona" "is" "round" "+")
triple7
Fiona is not blue.
False
1
inv-proof
[(triple2 OR ((triple5) -> rule1))]
("Fiona" "is" "blue" "-")
triple2
((triple5) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
@0: Fiona is blue.[(triple2 OR ((triple5) -> rule1))] Fiona is furry.[(triple3)] Fiona is green.[(triple4)] Fiona is nice.[(triple5)] Fiona is not big.[(triple1)] Fiona is rough.[(triple6)] Fiona is round.[(triple7)]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
((triple5) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is not big.
("Fiona" "is" "big" "-")
triple1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7