Bob is big. Bob is cold. Bob is round. Bob is smart. Dave is big. Dave is cold. Dave is round. Dave is white. Fiona is white. Gary is big. Gary is cold. Gary is furry. Gary is round. Gary is smart. Gary is white. If something is big then it is rough. If something is round then it is cold. White things are furry. All white things are smart. All rough, round things are white. If Gary is white then Gary is big. White, cold things are furry. All rough, smart things are big.
Fiona is round.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple3) -> rule2))] Bob is round.[(triple3)] Bob is smart.[(triple4 OR ((((((triple1) -> rule1) triple3) -> rule5)) -> rule4))] Dave is big.[(triple5)] Dave is cold.[(triple6 OR ((triple7) -> rule2))] Dave is round.[(triple7)] Dave is white.[(triple8 OR ((((triple5) -> rule1) triple7) -> rule5))] Fiona is white.[(triple9)] Gary is big.[(triple10 OR ((triple15) -> rule6))] Gary is cold.[(triple11 OR ((triple13) -> rule2))] Gary is furry.[(triple12 OR ((triple15) -> rule3) OR ((triple15 triple11) -> rule7) OR ((triple15 ((triple13) -> rule2)) -> rule7) OR ((((((triple10) -> rule1) triple13) -> rule5)) -> rule3) OR ((((((triple10) -> rule1) triple13) -> rule5) triple11) -> rule7) OR ((((((triple10) -> rule1) triple13) -> rule5) ((triple13) -> rule2)) -> rule7))] Gary is round.[(triple13)] Gary is smart.[(triple14 OR ((triple15) -> rule4) OR ((((((triple10) -> rule1) triple13) -> rule5)) -> rule4))] Gary is white.[(triple15 OR ((((triple10) -> rule1) triple13) -> rule5))] @1: Bob is rough.[(((triple1) -> rule1))] Dave is furry.[(((triple8) -> rule3) OR ((triple8 triple6) -> rule7) OR ((triple8 ((triple7) -> rule2)) -> rule7) OR ((((((triple5) -> rule1) triple7) -> rule5)) -> rule3) OR ((((((triple5) -> rule1) triple7) -> rule5) triple6) -> rule7) OR ((((((triple5) -> rule1) triple7) -> rule5) ((triple7) -> rule2)) -> rule7))] Dave is rough.[(((triple5) -> rule1))] Dave is smart.[(((triple8) -> rule4) OR ((((((triple5) -> rule1) triple7) -> rule5)) -> rule4))] Fiona is furry.[(((triple9) -> rule3))] Fiona is smart.[(((triple9) -> rule4))] Gary is rough.[(((triple10) -> rule1) OR ((((triple15) -> rule6)) -> rule1))] @2: Bob is white.[(((((triple1) -> rule1) triple3) -> rule5))] @3: Bob is furry.[(((((((triple1) -> rule1) triple3) -> rule5)) -> rule3) OR ((((((triple1) -> rule1) triple3) -> rule5) triple2) -> rule7) OR ((((((triple1) -> rule1) triple3) -> rule5) ((triple3) -> rule2)) -> rule7))]