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