Bob is furry. Bob is green. Bob is kind. Bob is smart. Charlie is cold. Charlie is furry. Charlie is green. Fiona is cold. Fiona is nice. Fiona is not smart. Gary is not nice. Gary is red. Cold, kind things are furry. All smart things are nice. If Charlie is cold then Charlie is red. If Gary is red and Gary is kind then Gary is not smart. If something is red and furry then it is kind. Kind things are smart. Cold, kind things are green. If something is red and not smart then it is green.
Charlie is smart.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is smart.[(triple4 OR ((triple3) -> rule6))] Charlie is cold.[(triple5)] Charlie is furry.[(triple6)] Charlie is green.[(triple7 OR ((triple5 ((((triple5) -> rule3) triple6) -> rule5)) -> rule7))] Fiona is cold.[(triple8)] Fiona is nice.[(triple9)] Fiona is not smart.[(triple10)] Gary is not nice.[(triple11)] Gary is red.[(triple12)] @1: Bob is nice.[(((triple4) -> rule2) OR ((((triple3) -> rule6)) -> rule2))] Charlie is red.[(((triple5) -> rule3))] @2: Charlie is kind.[(((((triple5) -> rule3) triple6) -> rule5))] @3: Charlie is smart.[(((((((triple5) -> rule3) triple6) -> rule5)) -> rule6))] @4: Charlie is nice.[(((((((((triple5) -> rule3) triple6) -> rule5)) -> rule6)) -> rule2))]