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