Bob is big. Bob is green. Bob is quiet. Bob is red. Bob is round. Bob is smart. Bob is white. Dave is big. Dave is green. Dave is quiet. Dave is red. Dave is round. Dave is smart. Dave is white. If something is smart and red then it is big. If something is green and quiet then it is red. If something is quiet and green then it is white.
Bob is red.
@0: Bob is big.[(triple1 OR ((triple6 triple4) -> rule1) OR ((triple6 ((triple2 triple3) -> rule2)) -> rule1))] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4 OR ((triple2 triple3) -> rule2))] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7 OR ((triple3 triple2) -> rule3))] Dave is big.[(triple8 OR ((triple13 triple11) -> rule1) OR ((triple13 ((triple9 triple10) -> rule2)) -> rule1))] Dave is green.[(triple9)] Dave is quiet.[(triple10)] Dave is red.[(triple11 OR ((triple9 triple10) -> rule2))] Dave is round.[(triple12)] Dave is smart.[(triple13)] Dave is white.[(triple14 OR ((triple10 triple9) -> rule3))]