Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is smart. Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is red. Charlie is smart. If Bob is quiet then Bob is cold. Quiet things are red. If something is quiet then it is red. Green things are furry. All cold things are big. If Bob is smart and Bob is quiet then Bob is red. If something is green and red then it is quiet. If Bob is red and Bob is big then Bob is quiet.
Bob is red.
@0: Bob is big.[(triple1 OR ((triple2) -> rule5) OR ((((triple5) -> rule1)) -> rule5) OR ((((((triple4 triple6) -> rule7)) -> rule1)) -> rule5))] Bob is cold.[(triple2 OR ((triple5) -> rule1) OR ((((triple4 triple6) -> rule7)) -> rule1) OR ((((triple6 triple1) -> rule8)) -> rule1))] Bob is furry.[(triple3 OR ((triple4) -> rule4))] Bob is green.[(triple4)] Bob is quiet.[(triple5 OR ((triple4 triple6) -> rule7) OR ((triple6 triple1) -> rule8) OR ((triple6 ((triple2) -> rule5)) -> rule8))] Bob is red.[(triple6 OR ((triple5) -> rule2) OR ((triple5) -> rule3) OR ((triple7 triple5) -> rule6))] Bob is smart.[(triple7)] Charlie is big.[(triple8 OR ((triple9) -> rule5))] Charlie is cold.[(triple9)] Charlie is furry.[(triple10 OR ((triple11) -> rule4))] Charlie is green.[(triple11)] Charlie is quiet.[(triple12 OR ((triple11 triple13) -> rule7))] Charlie is red.[(triple13 OR ((triple12) -> rule2) OR ((triple12) -> rule3))] Charlie is smart.[(triple14)]