Erin is green. Erin is nice. Erin is quiet. Erin is not rough. Erin is round. Erin is white. Erin is young. Fiona is green. Fiona is not nice. Fiona is quiet. Fiona is rough. Fiona is not round. Fiona is white. Fiona is young. If Fiona is young then Fiona is green. If someone is quiet and not nice then they are rough.
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Fiona is young then Fiona is green.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "green" "+"))
If someone is quiet and not nice then they are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "rough" "+"))
Erin is white.
True
1
proof
[(triple6)]
("Erin" "is" "white" "+")
triple6
Erin is not young.
False
1
inv-proof
[(triple7)]
("Erin" "is" "young" "-")
triple7
@0: Erin is green.[(triple1)] Erin is nice.[(triple2)] Erin is not rough.[(triple4)] Erin is quiet.[(triple3)] Erin is round.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] Fiona is green.[(triple8 OR ((triple14) -> rule1))] Fiona is not nice.[(triple9)] Fiona is not round.[(triple12)] Fiona is quiet.[(triple10)] Fiona is rough.[(triple11 OR ((triple10 triple9) -> rule2))] Fiona is white.[(triple13)] Fiona is young.[(triple14)]
Erin is green.
("Erin" "is" "green" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Erin is not rough.
("Erin" "is" "rough" "-")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is round.
("Erin" "is" "round" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
((triple14) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple9
Fiona is not round.
("Fiona" "is" "round" "-")
triple12
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
((triple10 triple9) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple13
Fiona is young.
("Fiona" "is" "young" "+")
triple14