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