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