Erin is big. Erin is kind. Erin is quiet. Erin is red. Erin is rough. Erin is smart. Erin is white. All rough, kind people are quiet. All smart, quiet people are rough.
Erin is big.
("Erin" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
All rough, kind people are quiet.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
All smart, quiet people are rough.
((("someone" "is" "smart" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
Erin is quiet.
True
1
proof
[(triple3 OR ((triple5 triple2) -> rule1))]
("Erin" "is" "quiet" "+")
triple3
((triple5 triple2) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not rough.
False
1
inv-proof
[(triple5 OR ((triple6 triple3) -> rule2))]
("Erin" "is" "rough" "-")
triple5
((triple6 triple3) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
@0: Erin is big.[(triple1)] Erin is kind.[(triple2)] Erin is quiet.[(triple3 OR ((triple5 triple2) -> rule1))] Erin is red.[(triple4)] Erin is rough.[(triple5 OR ((triple6 triple3) -> rule2))] Erin is smart.[(triple6)] Erin is white.[(triple7)]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
((triple5 triple2) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
((triple6 triple3) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7