Erin is cold. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is smart. Erin is young. If Erin is quiet then Erin is red.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
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 Erin is quiet then Erin is red.
((("Erin" "is" "quiet" "+")) -> ("Erin" "is" "red" "+"))
Erin is young.
True
1
proof
[(triple7)]
("Erin" "is" "young" "+")
triple7
Erin is not rough.
False
1
inv-proof
[(triple4)]
("Erin" "is" "rough" "-")
triple4
@0: Erin is cold.[(triple1)] Erin is quiet.[(triple2)] Erin is red.[(triple3 OR ((triple2) -> rule1))] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
((triple2) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7