Charlie is cold. Charlie is nice. Charlie is rough. Charlie is round. Charlie is smart. Dave is round. Dave is white. Fiona is rough. Fiona is smart. Fiona is white. Gary is smart. Rough, round things are cold. All smart things are round. All big, nice things are rough. If Charlie is white then Charlie is nice. If something is nice and smart then it is big. If something is round then it is nice.
Gary is not big.
@0: Charlie is cold.[(triple1 OR ((triple3 triple4) -> rule1) OR ((triple3 ((triple5) -> rule2)) -> rule1) OR ((((((triple2 triple5) -> rule5) triple2) -> rule3) triple4) -> rule1) OR ((((((triple2 triple5) -> rule5) triple2) -> rule3) ((triple5) -> rule2)) -> rule1) OR ((((((triple2 triple5) -> rule5) ((triple4) -> rule6)) -> rule3) triple4) -> rule1) OR ((((((triple2 triple5) -> rule5) ((triple4) -> rule6)) -> rule3) ((triple5) -> rule2)) -> rule1) OR ((((((((triple4) -> rule6) triple5) -> rule5) triple2) -> rule3) triple4) -> rule1) OR ((((((triple2 triple5) -> rule5) ((((triple5) -> rule2)) -> rule6)) -> rule3) triple4) -> rule1) OR ((((((((triple4) -> rule6) triple5) -> rule5) triple2) -> rule3) ((triple5) -> rule2)) -> rule1) OR ((((((((triple4) -> rule6) triple5) -> rule5) ((triple4) -> rule6)) -> rule3) triple4) -> rule1) OR ((((((triple2 triple5) -> rule5) ((((triple5) -> rule2)) -> rule6)) -> rule3) ((triple5) -> rule2)) -> rule1) OR ((((((((triple4) -> rule6) triple5) -> rule5) ((triple4) -> rule6)) -> rule3) ((triple5) -> rule2)) -> rule1) OR ((((((((triple4) -> rule6) triple5) -> rule5) ((((triple5) -> rule2)) -> rule6)) -> rule3) triple4) -> rule1) OR ((((((((triple4) -> rule6) triple5) -> rule5) ((((triple5) -> rule2)) -> rule6)) -> rule3) ((triple5) -> rule2)) -> rule1) OR ((((((((((triple5) -> rule2)) -> rule6) triple5) -> rule5) triple2) -> rule3) triple4) -> rule1) OR ((((((((((triple5) -> rule2)) -> rule6) triple5) -> rule5) triple2) -> rule3) ((triple5) -> rule2)) -> rule1) OR ((((((((((triple5) -> rule2)) -> rule6) triple5) -> rule5) ((triple4) -> rule6)) -> rule3) triple4) -> rule1) OR ((((((((((triple5) -> rule2)) -> rule6) triple5) -> rule5) ((triple4) -> rule6)) -> rule3) ((triple5) -> rule2)) -> rule1) OR ((((((((((triple5) -> rule2)) -> rule6) triple5) -> rule5) ((((triple5) -> rule2)) -> rule6)) -> rule3) triple4) -> rule1) OR ((((((((((triple5) -> rule2)) -> rule6) triple5) -> rule5) ((((triple5) -> rule2)) -> rule6)) -> rule3) ((triple5) -> rule2)) -> rule1))] Charlie is nice.[(triple2 OR ((triple4) -> rule6) OR ((((triple5) -> rule2)) -> rule6))] Charlie is rough.[(triple3 OR ((((triple2 triple5) -> rule5) triple2) -> rule3) OR ((((triple2 triple5) -> rule5) ((triple4) -> rule6)) -> rule3) OR ((((((triple4) -> rule6) triple5) -> rule5) triple2) -> rule3) OR ((((triple2 triple5) -> rule5) ((((triple5) -> rule2)) -> rule6)) -> rule3) OR ((((((triple4) -> rule6) triple5) -> rule5) ((triple4) -> rule6)) -> rule3) OR ((((((triple4) -> rule6) triple5) -> rule5) ((((triple5) -> rule2)) -> rule6)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule6) triple5) -> rule5) triple2) -> rule3) OR ((((((((triple5) -> rule2)) -> rule6) triple5) -> rule5) ((triple4) -> rule6)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule6) triple5) -> rule5) ((((triple5) -> rule2)) -> rule6)) -> rule3))] Charlie is round.[(triple4 OR ((triple5) -> rule2))] Charlie is smart.[(triple5)] Dave is round.[(triple6)] Dave is white.[(triple7)] Fiona is rough.[(triple8 OR ((((((((triple9) -> rule2)) -> rule6) triple9) -> rule5) ((((triple9) -> rule2)) -> rule6)) -> rule3))] Fiona is smart.[(triple9)] Fiona is white.[(triple10)] Gary is smart.[(triple11)] @1: Charlie is big.[(((triple2 triple5) -> rule5) OR ((((triple4) -> rule6) triple5) -> rule5) OR ((((((triple5) -> rule2)) -> rule6) triple5) -> rule5))] Dave is nice.[(((triple6) -> rule6))] Fiona is round.[(((triple9) -> rule2))] Gary is round.[(((triple11) -> rule2))] @2: Fiona is cold.[(((triple8 ((triple9) -> rule2)) -> rule1) OR ((((((((((triple9) -> rule2)) -> rule6) triple9) -> rule5) ((((triple9) -> rule2)) -> rule6)) -> rule3) ((triple9) -> rule2)) -> rule1))] Fiona is nice.[(((((triple9) -> rule2)) -> rule6))] Gary is nice.[(((((triple11) -> rule2)) -> rule6))] @3: Fiona is big.[(((((((triple9) -> rule2)) -> rule6) triple9) -> rule5))] Gary is big.[(((((((triple11) -> rule2)) -> rule6) triple11) -> rule5))] @4: Gary is rough.[(((((((((triple11) -> rule2)) -> rule6) triple11) -> rule5) ((((triple11) -> rule2)) -> rule6)) -> rule3))] @5: Gary is cold.[(((((((((((triple11) -> rule2)) -> rule6) triple11) -> rule5) ((((triple11) -> rule2)) -> rule6)) -> rule3) ((triple11) -> rule2)) -> rule1))]