Erin is green. Erin is nice. Erin is quiet. Erin is rough. Erin is round. Erin is smart. Erin is young. If something is green and nice then it is round.
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
If something is green and nice then it is round.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
Erin is quiet.
True
1
proof
[(triple3)]
("Erin" "is" "quiet" "+")
triple3
Erin is not rough.
False
1
inv-proof
[(triple4)]
("Erin" "is" "rough" "-")
triple4
@0: Erin is green.[(triple1)] Erin is nice.[(triple2)] Erin is quiet.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5 OR ((triple1 triple2) -> rule1))] Erin is smart.[(triple6)] Erin is young.[(triple7)]
Erin is green.
("Erin" "is" "green" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
((triple1 triple2) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7