Dave is big. Dave is cold. Dave is quiet. Dave is red. Dave is rough. Dave is white. Dave is young. Rough people are young. Rough, cold people are red. All cold, young people are white. Quiet, rough people are big. All quiet, cold people are big. If someone is big and red then they are white. Red people are young. If someone is quiet then they are red.
Dave is red.
@0: Dave is big.[(triple1 OR ((triple3 triple2) -> rule5) OR ((triple3 triple5) -> rule4))] Dave is cold.[(triple2)] Dave is quiet.[(triple3)] Dave is red.[(triple4 OR ((triple3) -> rule8) OR ((triple5 triple2) -> rule2))] Dave is rough.[(triple5)] Dave is white.[(triple6 OR ((triple1 triple4) -> rule6) OR ((triple2 triple7) -> rule3) OR ((triple1 ((triple3) -> rule8)) -> rule6) OR ((triple1 ((triple5 triple2) -> rule2)) -> rule6) OR ((triple2 ((triple4) -> rule7)) -> rule3) OR ((triple2 ((triple5) -> rule1)) -> rule3) OR ((((triple3 triple2) -> rule5) triple4) -> rule6) OR ((((triple3 triple5) -> rule4) triple4) -> rule6) OR ((((triple3 triple2) -> rule5) ((triple3) -> rule8)) -> rule6) OR ((((triple3 triple2) -> rule5) ((triple5 triple2) -> rule2)) -> rule6) OR ((((triple3 triple5) -> rule4) ((triple3) -> rule8)) -> rule6) OR ((((triple3 triple5) -> rule4) ((triple5 triple2) -> rule2)) -> rule6) OR ((triple2 ((((triple3) -> rule8)) -> rule7)) -> rule3) OR ((triple2 ((((triple5 triple2) -> rule2)) -> rule7)) -> rule3))] Dave is young.[(triple7 OR ((triple4) -> rule7) OR ((triple5) -> rule1) OR ((((triple3) -> rule8)) -> rule7) OR ((((triple5 triple2) -> rule2)) -> rule7))]