Bob is blue. Bob is cold. Bob is green. Bob is quiet. Bob is red. Dave is young. Erin is blue. Erin is green. Erin is smart. Erin is young. All smart, blue things are young. Young things are cold. If something is young then it is smart. If something is blue and quiet then it is cold. If something is quiet and blue then it is cold. Cold, green things are red. All quiet, smart things are young. Red, green things are quiet.
Erin is red.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple1 triple4) -> rule4) OR ((triple4 triple1) -> rule5) OR ((triple1 ((triple5 triple3) -> rule8)) -> rule4) OR ((((triple5 triple3) -> rule8) triple1) -> rule5))] Bob is green.[(triple3)] Bob is quiet.[(triple4 OR ((triple5 triple3) -> rule8) OR ((((triple2 triple3) -> rule6) triple3) -> rule8))] Bob is red.[(triple5 OR ((triple2 triple3) -> rule6) OR ((((triple1 triple4) -> rule4) triple3) -> rule6) OR ((((triple4 triple1) -> rule5) triple3) -> rule6))] Dave is young.[(triple6)] Erin is blue.[(triple7)] Erin is green.[(triple8)] Erin is smart.[(triple9 OR ((triple10) -> rule3))] Erin is young.[(triple10 OR ((triple9 triple7) -> rule1))] @1: Dave is cold.[(((triple6) -> rule2))] Dave is smart.[(((triple6) -> rule3))] Erin is cold.[(((triple10) -> rule2) OR ((((triple9 triple7) -> rule1)) -> rule2))] @2: Erin is red.[(((((triple10) -> rule2) triple8) -> rule6) OR ((((((triple9 triple7) -> rule1)) -> rule2) triple8) -> rule6))] @3: Erin is quiet.[(((((((triple10) -> rule2) triple8) -> rule6) triple8) -> rule8) OR ((((((((triple9 triple7) -> rule1)) -> rule2) triple8) -> rule6) triple8) -> rule8))]