Bob is big. Bob is furry. Bob is nice. Bob is quiet. Bob is round. Bob is smart. Bob is white. Charlie is big. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is white. If something is smart and nice then it is big. All nice, white things are big. All round things are nice. White things are round. If Charlie is big then Charlie is round. If something is furry and white then it is round.
Charlie is big.
@0: Bob is big.[(triple1 OR ((triple3 triple7) -> rule2) OR ((triple6 triple3) -> rule1) OR ((triple6 ((triple5) -> rule3)) -> rule1) OR ((((triple5) -> rule3) triple7) -> rule2) OR ((triple6 ((((triple7) -> rule4)) -> rule3)) -> rule1) OR ((triple6 ((((triple2 triple7) -> rule6)) -> rule3)) -> rule1) OR ((((((triple7) -> rule4)) -> rule3) triple7) -> rule2) OR ((((((triple2 triple7) -> rule6)) -> rule3) triple7) -> rule2))] Bob is furry.[(triple2)] Bob is nice.[(triple3 OR ((triple5) -> rule3) OR ((((triple7) -> rule4)) -> rule3) OR ((((triple2 triple7) -> rule6)) -> rule3))] Bob is quiet.[(triple4)] Bob is round.[(triple5 OR ((triple7) -> rule4) OR ((triple2 triple7) -> rule6))] Bob is smart.[(triple6)] Bob is white.[(triple7)] Charlie is big.[(triple8 OR ((triple10 triple14) -> rule2) OR ((triple13 triple10) -> rule1) OR ((triple13 ((triple12) -> rule3)) -> rule1) OR ((((triple12) -> rule3) triple14) -> rule2) OR ((triple13 ((((triple14) -> rule4)) -> rule3)) -> rule1) OR ((triple13 ((((triple9 triple14) -> rule6)) -> rule3)) -> rule1) OR ((((((triple14) -> rule4)) -> rule3) triple14) -> rule2) OR ((((((triple9 triple14) -> rule6)) -> rule3) triple14) -> rule2))] Charlie is furry.[(triple9)] Charlie is nice.[(triple10 OR ((triple12) -> rule3) OR ((((triple14) -> rule4)) -> rule3) OR ((((triple8) -> rule5)) -> rule3) OR ((((triple9 triple14) -> rule6)) -> rule3))] Charlie is quiet.[(triple11)] Charlie is round.[(triple12 OR ((triple14) -> rule4) OR ((triple8) -> rule5) OR ((triple9 triple14) -> rule6) OR ((((triple10 triple14) -> rule2)) -> rule5) OR ((((triple13 triple10) -> rule1)) -> rule5))] Charlie is smart.[(triple13)] Charlie is white.[(triple14)]