Dave is blue. Dave is furry. Dave is nice. Dave is quiet. Dave is rough. Dave is round. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is round. Gary is cold. Gary is quiet. Gary is round. Harry is cold. Harry is rough. If someone is furry then they are quiet. All quiet, rough people are round. All furry people are cold. If someone is cold then they are rough. All quiet, nice people are furry. Rough, quiet people are nice.
Gary is blue.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2 OR ((triple4 triple3) -> rule5) OR ((triple4 ((triple5 triple4) -> rule6)) -> rule5))] Dave is nice.[(triple3 OR ((triple5 triple4) -> rule6) OR ((triple5 ((triple2) -> rule1)) -> rule6) OR ((((((triple2) -> rule3)) -> rule4) triple4) -> rule6) OR ((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule1)) -> rule6))] Dave is quiet.[(triple4 OR ((triple2) -> rule1))] Dave is rough.[(triple5 OR ((((triple2) -> rule3)) -> rule4) OR ((((((triple4 triple3) -> rule5)) -> rule3)) -> rule4))] Dave is round.[(triple6 OR ((triple4 triple5) -> rule2) OR ((((triple2) -> rule1) triple5) -> rule2) OR ((triple4 ((((triple2) -> rule3)) -> rule4)) -> rule2) OR ((((triple2) -> rule1) ((((triple2) -> rule3)) -> rule4)) -> rule2) OR ((triple4 ((((((triple4 triple3) -> rule5)) -> rule3)) -> rule4)) -> rule2) OR ((((triple2) -> rule1) ((((((triple4 triple3) -> rule5)) -> rule3)) -> rule4)) -> rule2))] Fiona is blue.[(triple7)] Fiona is furry.[(triple8)] Fiona is nice.[(triple9 OR ((((((triple8) -> rule3)) -> rule4) ((triple8) -> rule1)) -> rule6))] Fiona is round.[(triple10 OR ((((triple8) -> rule1) ((((triple8) -> rule3)) -> rule4)) -> rule2))] Gary is cold.[(triple11)] Gary is quiet.[(triple12)] Gary is round.[(triple13 OR ((triple12 ((triple11) -> rule4)) -> rule2))] Harry is cold.[(triple14)] Harry is rough.[(triple15 OR ((triple14) -> rule4))] @1: Dave is cold.[(((triple2) -> rule3) OR ((((triple4 triple3) -> rule5)) -> rule3) OR ((((triple4 ((triple5 triple4) -> rule6)) -> rule5)) -> rule3))] Fiona is cold.[(((triple8) -> rule3))] Fiona is quiet.[(((triple8) -> rule1))] Gary is rough.[(((triple11) -> rule4))] @2: Fiona is rough.[(((((triple8) -> rule3)) -> rule4))] Gary is nice.[(((((triple11) -> rule4) triple12) -> rule6))] @3: Gary is furry.[(((triple12 ((((triple11) -> rule4) triple12) -> rule6)) -> rule5))]