Bob is big. Bob is kind. Bob is round. Bob is young. Dave is big. Dave is smart. Erin is cold. Erin is kind. Erin is quiet. Erin is round. Gary is big. Gary is quiet. Cold, big things are smart. All kind things are smart. Cold things are quiet. If something is cold then it is smart. Young, round things are cold. If something is big then it is round.
Gary is not cold.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is round.[(triple3 OR ((triple1) -> rule6))] Bob is young.[(triple4)] Dave is big.[(triple5)] Dave is smart.[(triple6)] Erin is cold.[(triple7)] Erin is kind.[(triple8)] Erin is quiet.[(triple9 OR ((triple7) -> rule3))] Erin is round.[(triple10)] Gary is big.[(triple11)] Gary is quiet.[(triple12)] @1: Bob is cold.[(((triple4 triple3) -> rule5) OR ((triple4 ((triple1) -> rule6)) -> rule5))] Bob is smart.[(((triple2) -> rule2) OR ((((triple4 triple3) -> rule5)) -> rule4) OR ((((triple4 triple3) -> rule5) triple1) -> rule1) OR ((((triple4 ((triple1) -> rule6)) -> rule5)) -> rule4) OR ((((triple4 ((triple1) -> rule6)) -> rule5) triple1) -> rule1))] Dave is round.[(((triple5) -> rule6))] Erin is smart.[(((triple7) -> rule4) OR ((triple8) -> rule2))] Gary is round.[(((triple11) -> rule6))] @2: Bob is quiet.[(((((triple4 triple3) -> rule5)) -> rule3) OR ((((triple4 ((triple1) -> rule6)) -> rule5)) -> rule3))]