Fiona is blue. Fiona is green. Fiona is not kind. Fiona is quiet. Fiona is rough. Fiona is white. Fiona is young. If something is green and not blue then it is not rough. If Fiona is green and Fiona is not blue then Fiona is white. Young, green things are white.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is green and not blue then it is not rough.
((("something" "is" "green" "+") ("something" "is" "blue" "~")) -> ("something" "is" "rough" "-"))
If Fiona is green and Fiona is not blue then Fiona is white.
((("Fiona" "is" "green" "+") ("Fiona" "is" "blue" "~")) -> ("Fiona" "is" "white" "+"))
Young, green things are white.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
Fiona is quiet.
True
1
proof
[(triple4)]
("Fiona" "is" "quiet" "+")
triple4
Fiona is not white.
False
1
inv-proof
[(triple6 OR ((triple7 triple2) -> rule3))]
("Fiona" "is" "white" "-")
triple6
((triple7 triple2) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
@0: Fiona is blue.[(triple1)] Fiona is green.[(triple2)] Fiona is not kind.[(triple3)] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Fiona is white.[(triple6 OR ((triple7 triple2) -> rule3))] Fiona is young.[(triple7)]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
((triple7 triple2) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple7