Bob is cold. Bob is nice. Bob is quiet. Bob is red. Bob is round. Bob is white. Bob is young. Dave is cold. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is white. Dave is young. All red, white people are round. If someone is quiet then they are nice. All white, nice people are quiet. White, round people are nice. If someone is round and young then they are nice. All quiet people are young.
Dave is round.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2 OR ((triple3) -> rule2) OR ((triple5 triple7) -> rule5) OR ((triple6 triple5) -> rule4) OR ((triple5 ((triple3) -> rule6)) -> rule5) OR ((triple6 ((triple4 triple6) -> rule1)) -> rule4) OR ((((triple4 triple6) -> rule1) triple7) -> rule5) OR ((((triple4 triple6) -> rule1) ((triple3) -> rule6)) -> rule5))] Bob is quiet.[(triple3 OR ((triple6 triple2) -> rule3) OR ((triple6 ((triple5 triple7) -> rule5)) -> rule3) OR ((triple6 ((triple6 triple5) -> rule4)) -> rule3) OR ((triple6 ((triple6 ((triple4 triple6) -> rule1)) -> rule4)) -> rule3) OR ((triple6 ((((triple4 triple6) -> rule1) triple7) -> rule5)) -> rule3))] Bob is red.[(triple4)] Bob is round.[(triple5 OR ((triple4 triple6) -> rule1))] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple3) -> rule6) OR ((((triple6 triple2) -> rule3)) -> rule6) OR ((((triple6 ((triple6 triple5) -> rule4)) -> rule3)) -> rule6) OR ((((triple6 ((triple6 ((triple4 triple6) -> rule1)) -> rule4)) -> rule3)) -> rule6))] Dave is cold.[(triple8)] Dave is nice.[(triple9 OR ((triple10) -> rule2) OR ((triple12 triple14) -> rule5) OR ((triple13 triple12) -> rule4) OR ((triple12 ((triple10) -> rule6)) -> rule5) OR ((triple13 ((triple11 triple13) -> rule1)) -> rule4) OR ((((triple11 triple13) -> rule1) triple14) -> rule5) OR ((((triple11 triple13) -> rule1) ((triple10) -> rule6)) -> rule5))] Dave is quiet.[(triple10 OR ((triple13 triple9) -> rule3) OR ((triple13 ((triple12 triple14) -> rule5)) -> rule3) OR ((triple13 ((triple13 triple12) -> rule4)) -> rule3) OR ((triple13 ((triple13 ((triple11 triple13) -> rule1)) -> rule4)) -> rule3) OR ((triple13 ((((triple11 triple13) -> rule1) triple14) -> rule5)) -> rule3))] Dave is red.[(triple11)] Dave is round.[(triple12 OR ((triple11 triple13) -> rule1))] Dave is white.[(triple13)] Dave is young.[(triple14 OR ((triple10) -> rule6) OR ((((triple13 triple9) -> rule3)) -> rule6) OR ((((triple13 ((triple13 triple12) -> rule4)) -> rule3)) -> rule6) OR ((((triple13 ((triple13 ((triple11 triple13) -> rule1)) -> rule4)) -> rule3)) -> rule6))]