Charlie is rough. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is rough. Dave is round. Fiona is furry. Fiona is red. Fiona is round. Gary is round. If something is furry and round then it is rough. All round things are red. If Charlie is furry then Charlie is green. Green things are kind. All red things are rough. All rough things are green.
Gary is nice.
@0: Charlie is rough.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3 OR ((triple7) -> rule6) OR ((((triple6) -> rule5)) -> rule6) OR ((((triple2 triple8) -> rule1)) -> rule6) OR ((((((triple8) -> rule2)) -> rule5)) -> rule6))] Dave is kind.[(triple4 OR ((triple3) -> rule4) OR ((((triple7) -> rule6)) -> rule4) OR ((((((triple6) -> rule5)) -> rule6)) -> rule4) OR ((((((triple2 triple8) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple8) -> rule2)) -> rule5)) -> rule6)) -> rule4))] Dave is nice.[(triple5)] Dave is red.[(triple6 OR ((triple8) -> rule2))] Dave is rough.[(triple7 OR ((triple6) -> rule5) OR ((triple2 triple8) -> rule1) OR ((((triple8) -> rule2)) -> rule5))] Dave is round.[(triple8)] Fiona is furry.[(triple9)] Fiona is red.[(triple10 OR ((triple11) -> rule2))] Fiona is round.[(triple11)] Gary is round.[(triple12)] @1: Charlie is green.[(((triple1) -> rule6))] Fiona is rough.[(((triple10) -> rule5) OR ((triple9 triple11) -> rule1) OR ((((triple11) -> rule2)) -> rule5))] Gary is red.[(((triple12) -> rule2))] @2: Charlie is kind.[(((((triple1) -> rule6)) -> rule4))] Fiona is green.[(((((triple10) -> rule5)) -> rule6) OR ((((triple9 triple11) -> rule1)) -> rule6) OR ((((((triple11) -> rule2)) -> rule5)) -> rule6))] Gary is rough.[(((((triple12) -> rule2)) -> rule5))] @3: Fiona is kind.[(((((((triple10) -> rule5)) -> rule6)) -> rule4) OR ((((((triple9 triple11) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple11) -> rule2)) -> rule5)) -> rule6)) -> rule4))] Gary is green.[(((((((triple12) -> rule2)) -> rule5)) -> rule6))] @4: Gary is kind.[(((((((((triple12) -> rule2)) -> rule5)) -> rule6)) -> rule4))]