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