Dave is big. Dave is blue. Dave is furry. Dave is smart. Dave is young. Erin is big. Erin is blue. Erin is furry. Erin is not kind. Erin is quiet. Erin is smart. Erin is not young. Young, blue people are quiet. If someone is big and not smart then they are quiet.
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is not young.
("Erin" "is" "young" "-")
Young, blue people are quiet.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
If someone is big and not smart then they are quiet.
((("someone" "is" "big" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "quiet" "+"))
Erin is quiet.
True
1
proof
[(triple10)]
("Erin" "is" "quiet" "+")
triple10
Erin is not furry.
False
1
inv-proof
[(triple8)]
("Erin" "is" "furry" "-")
triple8
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3)] Dave is smart.[(triple4)] Dave is young.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7)] Erin is furry.[(triple8)] Erin is not kind.[(triple9)] Erin is not young.[(triple12)] Erin is quiet.[(triple10)] Erin is smart.[(triple11)] @1: Dave is quiet.[(((triple5 triple2) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is not kind.
("Erin" "is" "kind" "-")
triple9
Erin is not young.
("Erin" "is" "young" "-")
triple12
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
Erin is smart.
("Erin" "is" "smart" "+")
triple11
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple5 triple2) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1