Bob is quiet. Bob is young. Dave is big. Dave is cold. Dave is quiet. Dave is red. Dave is round. Erin is quiet. Erin is red. Gary is big. Gary is cold. Gary is quiet. Gary is red. Gary is round. Gary is young. If something is big then it is round. All young, blue things are quiet. Big things are red. All young, quiet things are big. If something is cold then it is quiet. If something is round and red then it is cold.
Erin is not big.
@0: Bob is quiet.[(triple1)] Bob is young.[(triple2)] Dave is big.[(triple3)] Dave is cold.[(triple4 OR ((triple7 triple6) -> rule6) OR ((triple7 ((triple3) -> rule3)) -> rule6) OR ((((triple3) -> rule1) triple6) -> rule6) OR ((((triple3) -> rule1) ((triple3) -> rule3)) -> rule6))] Dave is quiet.[(triple5 OR ((triple4) -> rule5) OR ((((triple7 triple6) -> rule6)) -> rule5) OR ((((triple7 ((triple3) -> rule3)) -> rule6)) -> rule5) OR ((((((triple3) -> rule1) triple6) -> rule6)) -> rule5) OR ((((((triple3) -> rule1) ((triple3) -> rule3)) -> rule6)) -> rule5))] Dave is red.[(triple6 OR ((triple3) -> rule3))] Dave is round.[(triple7 OR ((triple3) -> rule1))] Erin is quiet.[(triple8)] Erin is red.[(triple9)] Gary is big.[(triple10 OR ((triple15 triple12) -> rule4) OR ((triple15 ((triple11) -> rule5)) -> rule4) OR ((triple15 ((((triple14 triple13) -> rule6)) -> rule5)) -> rule4))] Gary is cold.[(triple11 OR ((triple14 triple13) -> rule6) OR ((triple14 ((triple10) -> rule3)) -> rule6) OR ((((triple10) -> rule1) triple13) -> rule6) OR ((((triple10) -> rule1) ((triple10) -> rule3)) -> rule6) OR ((triple14 ((((triple15 triple12) -> rule4)) -> rule3)) -> rule6) OR ((((((triple15 triple12) -> rule4)) -> rule1) triple13) -> rule6) OR ((((triple10) -> rule1) ((((triple15 triple12) -> rule4)) -> rule3)) -> rule6) OR ((((((triple15 triple12) -> rule4)) -> rule1) ((triple10) -> rule3)) -> rule6) OR ((((((triple15 triple12) -> rule4)) -> rule1) ((((triple15 triple12) -> rule4)) -> rule3)) -> rule6))] Gary is quiet.[(triple12 OR ((triple11) -> rule5) OR ((((triple14 triple13) -> rule6)) -> rule5) OR ((((triple14 ((triple10) -> rule3)) -> rule6)) -> rule5) OR ((((((triple10) -> rule1) triple13) -> rule6)) -> rule5) OR ((((((triple10) -> rule1) ((triple10) -> rule3)) -> rule6)) -> rule5))] Gary is red.[(triple13 OR ((triple10) -> rule3) OR ((((triple15 triple12) -> rule4)) -> rule3) OR ((((triple15 ((triple11) -> rule5)) -> rule4)) -> rule3))] Gary is round.[(triple14 OR ((triple10) -> rule1) OR ((((triple15 triple12) -> rule4)) -> rule1) OR ((((triple15 ((triple11) -> rule5)) -> rule4)) -> rule1))] Gary is young.[(triple15)] @1: Bob is big.[(((triple2 triple1) -> rule4))] @2: Bob is red.[(((((triple2 triple1) -> rule4)) -> rule3))] Bob is round.[(((((triple2 triple1) -> rule4)) -> rule1))] @3: Bob is cold.[(((((((triple2 triple1) -> rule4)) -> rule1) ((((triple2 triple1) -> rule4)) -> rule3)) -> rule6))]