Dave is big. Dave is blue. Dave is not cold. Dave is furry. Dave is quiet. Dave is not rough. Dave is not white. Erin is big. Erin is blue. Erin is furry. Erin is rough. Erin is not white. All blue, furry things are not cold. If Erin is quiet then Erin is big. If something is white and not quiet then it is big.
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is not white.
("Dave" "is" "white" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not white.
("Erin" "is" "white" "-")
All blue, furry things are not cold.
((("something" "is" "blue" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "-"))
If Erin is quiet then Erin is big.
((("Erin" "is" "quiet" "+")) -> ("Erin" "is" "big" "+"))
If something is white and not quiet then it is big.
((("something" "is" "white" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "big" "+"))
Dave is not white.
True
1
proof
[(triple7)]
("Dave" "is" "white" "-")
triple7
Dave is not big.
False
1
inv-proof
[(triple1)]
("Dave" "is" "big" "-")
triple1
Erin is not cold.
True
3
proof
[(((triple9 triple10) -> rule1))]
("Erin" "is" "cold" "-")
((triple9 triple10) -> (rule1 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
Erin is cold.
False
3
inv-proof
[(((triple9 triple10) -> rule1))]
("Erin" "is" "cold" "+")
((triple9 triple10) -> (rule1 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple4)] Dave is not cold.[(triple3 OR ((triple2 triple4) -> rule1))] Dave is not rough.[(triple6)] Dave is not white.[(triple7)] Dave is quiet.[(triple5)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is furry.[(triple10)] Erin is not white.[(triple12)] Erin is rough.[(triple11)] @1: Erin is not cold.[(((triple9 triple10) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is not cold.
("Dave" "is" "cold" "-")
triple3
((triple2 triple4) -> (rule1 % int1))
Dave is not cold.
("Dave" "is" "cold" "-")
int1
Dave is not rough.
("Dave" "is" "rough" "-")
triple6
Dave is not white.
("Dave" "is" "white" "-")
triple7
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple8
Erin is blue.
("Erin" "is" "blue" "+")
triple9
Erin is furry.
("Erin" "is" "furry" "+")
triple10
Erin is not white.
("Erin" "is" "white" "-")
triple12
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Erin is not cold.
("Erin" "is" "cold" "-")
((triple9 triple10) -> (rule1 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1