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