Bob is big. Bob is blue. Bob is cold. Bob is green. Bob is red. Bob is rough. Bob is smart. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is red. Erin is rough. Erin is smart. If someone is red and green then they are blue. If someone is green then they are red. If Erin is red and Erin is cold then Erin is smart. Green, smart people are blue. If Bob is smart then Bob is blue. If Erin is cold then Erin is rough. If Erin is big and Erin is smart then Erin is red. All green people are big.
Erin is cold.
@0: Bob is big.[(triple1 OR ((triple4) -> rule8))] Bob is blue.[(triple2 OR ((triple7) -> rule5) OR ((triple4 triple7) -> rule4) OR ((triple5 triple4) -> rule1) OR ((((triple4) -> rule2) triple4) -> rule1))] Bob is cold.[(triple3)] Bob is green.[(triple4)] Bob is red.[(triple5 OR ((triple4) -> rule2))] Bob is rough.[(triple6)] Bob is smart.[(triple7)] Erin is big.[(triple8 OR ((triple11) -> rule8))] Erin is blue.[(triple9 OR ((triple11 triple14) -> rule4) OR ((triple12 triple11) -> rule1) OR ((triple11 ((triple12 triple10) -> rule3)) -> rule4) OR ((((triple11) -> rule2) triple11) -> rule1) OR ((((triple8 triple14) -> rule7) triple11) -> rule1) OR ((triple11 ((((triple11) -> rule2) triple10) -> rule3)) -> rule4) OR ((((((triple11) -> rule8) triple14) -> rule7) triple11) -> rule1))] Erin is cold.[(triple10)] Erin is green.[(triple11)] Erin is red.[(triple12 OR ((triple11) -> rule2) OR ((triple8 triple14) -> rule7) OR ((((triple11) -> rule8) triple14) -> rule7))] Erin is rough.[(triple13 OR ((triple10) -> rule6))] Erin is smart.[(triple14 OR ((triple12 triple10) -> rule3) OR ((((triple11) -> rule2) triple10) -> rule3))]