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