Bob is young. Charlie is kind. Erin is blue. Erin is kind. Erin is red. Erin is young. Fiona is young. If something is quiet and red then it is blue. If something is cold then it is red. If something is red and smart then it is blue. Blue things are cold. All young things are smart. If something is young and red then it is quiet. All smart things are quiet. If something is quiet then it is blue. If Bob is quiet then Bob is smart.
Bob is kind.
@0: Bob is young.[(triple1)] Charlie is kind.[(triple2)] Erin is blue.[(triple3 OR ((((triple6 triple5) -> rule6)) -> rule8) OR ((triple5 ((triple6) -> rule5)) -> rule3) OR ((((triple6 triple5) -> rule6) triple5) -> rule1) OR ((((((triple6) -> rule5)) -> rule7)) -> rule8) OR ((((((triple6) -> rule5)) -> rule7) triple5) -> rule1))] Erin is kind.[(triple4)] Erin is red.[(triple5 OR ((((triple3) -> rule4)) -> rule2) OR ((((((((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule4)) -> rule2))] Erin is young.[(triple6)] Fiona is young.[(triple7)] @1: Bob is smart.[(((triple1) -> rule5))] Erin is cold.[(((triple3) -> rule4) OR ((((((triple6 triple5) -> rule6)) -> rule8)) -> rule4) OR ((((triple5 ((triple6) -> rule5)) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule6) triple5) -> rule1)) -> rule4) OR ((((((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple6) -> rule5)) -> rule7) triple5) -> rule1)) -> rule4))] Erin is quiet.[(((triple6 triple5) -> rule6) OR ((((triple6) -> rule5)) -> rule7) OR ((triple6 ((((triple3) -> rule4)) -> rule2)) -> rule6))] Erin is smart.[(((triple6) -> rule5))] Fiona is smart.[(((triple7) -> rule5))] @2: Bob is quiet.[(((((triple1) -> rule5)) -> rule7))] Fiona is quiet.[(((((triple7) -> rule5)) -> rule7))] @3: Bob is blue.[(((((((triple1) -> rule5)) -> rule7)) -> rule8))] Fiona is blue.[(((((((triple7) -> rule5)) -> rule7)) -> rule8))] @4: Bob is cold.[(((((((((triple1) -> rule5)) -> rule7)) -> rule8)) -> rule4))] Fiona is cold.[(((((((((triple7) -> rule5)) -> rule7)) -> rule8)) -> rule4))] @5: Bob is red.[(((((((((((triple1) -> rule5)) -> rule7)) -> rule8)) -> rule4)) -> rule2))] Fiona is red.[(((((((((((triple7) -> rule5)) -> rule7)) -> rule8)) -> rule4)) -> rule2))]