Bob is big. Bob is cold. Bob is smart. Bob is young. Charlie is kind. Charlie is young. Erin is big. Erin is cold. Erin is furry. Erin is smart. Gary is furry. Gary is smart. Young things are smart. Furry things are cold. All furry, kind things are rough. All rough things are smart. Cold things are furry. If something is big then it is cold. If Charlie is young and Charlie is smart then Charlie is big.
Charlie is not rough.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple1) -> rule6))] Bob is smart.[(triple3 OR ((triple4) -> rule1))] Bob is young.[(triple4)] Charlie is kind.[(triple5)] Charlie is young.[(triple6)] Erin is big.[(triple7)] Erin is cold.[(triple8 OR ((triple7) -> rule6) OR ((triple9) -> rule2))] Erin is furry.[(triple9 OR ((triple8) -> rule5) OR ((((triple7) -> rule6)) -> rule5))] Erin is smart.[(triple10)] Gary is furry.[(triple11)] Gary is smart.[(triple12)] @1: Bob is furry.[(((triple2) -> rule5) OR ((((triple1) -> rule6)) -> rule5))] Charlie is smart.[(((triple6) -> rule1))] Gary is cold.[(((triple11) -> rule2))] @2: Charlie is big.[(((triple6 ((triple6) -> rule1)) -> rule7))] @3: Charlie is cold.[(((((triple6 ((triple6) -> rule1)) -> rule7)) -> rule6))] @4: Charlie is furry.[(((((((triple6 ((triple6) -> rule1)) -> rule7)) -> rule6)) -> rule5))] @5: Charlie is rough.[(((((((((triple6 ((triple6) -> rule1)) -> rule7)) -> rule6)) -> rule5) triple5) -> rule3))]