Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is quiet. Dave is smart. Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is smart. All cold, kind things are big.
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
All cold, kind things are big.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
Dave is blue.
True
1
proof
[(triple2)]
("Dave" "is" "blue" "+")
triple2
Erin is not smart.
False
1
inv-proof
[(triple14)]
("Erin" "is" "smart" "-")
triple14
@0: Dave is big.[(triple1 OR ((triple3 triple5) -> rule1))] Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is kind.[(triple5)] Dave is quiet.[(triple6)] Dave is smart.[(triple7)] Erin is big.[(triple8 OR ((triple10 triple12) -> rule1))] Erin is blue.[(triple9)] Erin is cold.[(triple10)] Erin is furry.[(triple11)] Erin is kind.[(triple12)] Erin is quiet.[(triple13)] Erin is smart.[(triple14)]
Dave is big.
("Dave" "is" "big" "+")
triple1
((triple3 triple5) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Dave is smart.
("Dave" "is" "smart" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
triple8
((triple10 triple12) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple9
Erin is cold.
("Erin" "is" "cold" "+")
triple10
Erin is furry.
("Erin" "is" "furry" "+")
triple11
Erin is kind.
("Erin" "is" "kind" "+")
triple12
Erin is quiet.
("Erin" "is" "quiet" "+")
triple13
Erin is smart.
("Erin" "is" "smart" "+")
triple14