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