Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is quiet. Bob is rough. Bob is smart. Erin is big. Erin is blue. Erin is cold. Erin is kind. Erin is quiet. Erin is rough. Erin is smart. Cold, big things are smart. If something is kind and cold then it is rough. Kind, quiet things are big. If Erin is rough then Erin is blue. If something is smart then it is kind. If something is quiet then it is kind.
Erin is not blue.
@0: Bob is big.[(triple1 OR ((triple4 triple5) -> rule3) OR ((((triple5) -> rule6) triple5) -> rule3) OR ((((triple7) -> rule5) triple5) -> rule3))] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is kind.[(triple4 OR ((triple5) -> rule6) OR ((triple7) -> rule5) OR ((((triple3 triple1) -> rule1)) -> rule5))] Bob is quiet.[(triple5)] Bob is rough.[(triple6 OR ((triple4 triple3) -> rule2) OR ((((triple5) -> rule6) triple3) -> rule2) OR ((((triple7) -> rule5) triple3) -> rule2) OR ((((((triple3 triple1) -> rule1)) -> rule5) triple3) -> rule2))] Bob is smart.[(triple7 OR ((triple3 triple1) -> rule1) OR ((triple3 ((triple4 triple5) -> rule3)) -> rule1) OR ((triple3 ((((triple5) -> rule6) triple5) -> rule3)) -> rule1))] Erin is big.[(triple8 OR ((triple11 triple12) -> rule3) OR ((((triple12) -> rule6) triple12) -> rule3) OR ((((triple14) -> rule5) triple12) -> rule3))] Erin is blue.[(triple9 OR ((triple13) -> rule4) OR ((((triple11 triple10) -> rule2)) -> rule4) OR ((((((triple12) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple14) -> rule5) triple10) -> rule2)) -> rule4) OR ((((((((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule2)) -> rule4))] Erin is cold.[(triple10)] Erin is kind.[(triple11 OR ((triple12) -> rule6) OR ((triple14) -> rule5) OR ((((triple10 triple8) -> rule1)) -> rule5))] Erin is quiet.[(triple12)] Erin is rough.[(triple13 OR ((triple11 triple10) -> rule2) OR ((((triple12) -> rule6) triple10) -> rule2) OR ((((triple14) -> rule5) triple10) -> rule2) OR ((((((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule2))] Erin is smart.[(triple14 OR ((triple10 triple8) -> rule1) OR ((triple10 ((triple11 triple12) -> rule3)) -> rule1) OR ((triple10 ((((triple12) -> rule6) triple12) -> rule3)) -> rule1))]