Bob is nice. Bob is round. Bob is young. Dave is round. Erin is big. Erin is red. Gary is young. All round things are nice. All nice, big things are white. If something is big and white then it is round. Young things are nice. Big, red things are young. All nice things are quiet. All quiet things are big. Young, quiet things are red.
Dave is not quiet.
@0: Bob is nice.[(triple1 OR ((triple2) -> rule1) OR ((triple3) -> rule4))] Bob is round.[(triple2 OR ((((((triple1) -> rule6)) -> rule7) ((triple1 ((((triple1) -> rule6)) -> rule7)) -> rule2)) -> rule3) OR ((((((triple1) -> rule6)) -> rule7) ((((triple3) -> rule4) ((((triple1) -> rule6)) -> rule7)) -> rule2)) -> rule3) OR ((((((((triple3) -> rule4)) -> rule6)) -> rule7) ((triple1 ((((triple1) -> rule6)) -> rule7)) -> rule2)) -> rule3) OR ((((((((triple3) -> rule4)) -> rule6)) -> rule7) ((((triple3) -> rule4) ((((triple1) -> rule6)) -> rule7)) -> rule2)) -> rule3) OR ((((((triple1) -> rule6)) -> rule7) ((triple1 ((((((triple3) -> rule4)) -> rule6)) -> rule7)) -> rule2)) -> rule3) OR ((((((triple1) -> rule6)) -> rule7) ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule6)) -> rule7)) -> rule2)) -> rule3) OR ((((((((triple3) -> rule4)) -> rule6)) -> rule7) ((triple1 ((((((triple3) -> rule4)) -> rule6)) -> rule7)) -> rule2)) -> rule3) OR ((((((((triple3) -> rule4)) -> rule6)) -> rule7) ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule6)) -> rule7)) -> rule2)) -> rule3))] Bob is young.[(triple3)] Dave is round.[(triple4)] Erin is big.[(triple5)] Erin is red.[(triple6)] Gary is young.[(triple7)] @1: Bob is quiet.[(((triple1) -> rule6) OR ((((triple2) -> rule1)) -> rule6) OR ((((triple3) -> rule4)) -> rule6))] Dave is nice.[(((triple4) -> rule1))] Erin is young.[(((triple5 triple6) -> rule5))] Gary is nice.[(((triple7) -> rule4))] @2: Bob is big.[(((((triple1) -> rule6)) -> rule7) OR ((((((triple2) -> rule1)) -> rule6)) -> rule7) OR ((((((triple3) -> rule4)) -> rule6)) -> rule7))] Bob is red.[(((triple3 ((triple1) -> rule6)) -> rule8) OR ((triple3 ((((triple2) -> rule1)) -> rule6)) -> rule8) OR ((triple3 ((((triple3) -> rule4)) -> rule6)) -> rule8))] Dave is quiet.[(((((triple4) -> rule1)) -> rule6))] Erin is nice.[(((((triple5 triple6) -> rule5)) -> rule4))] Gary is quiet.[(((((triple7) -> rule4)) -> rule6))] @3: Bob is white.[(((triple1 ((((triple1) -> rule6)) -> rule7)) -> rule2) OR ((((triple2) -> rule1) ((((triple1) -> rule6)) -> rule7)) -> rule2) OR ((((triple3) -> rule4) ((((triple1) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((((((triple2) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((((((triple3) -> rule4)) -> rule6)) -> rule7)) -> rule2) OR ((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((((triple2) -> rule1) ((((((triple3) -> rule4)) -> rule6)) -> rule7)) -> rule2) OR ((((triple3) -> rule4) ((((((triple2) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule6)) -> rule7)) -> rule2))] Dave is big.[(((((((triple4) -> rule1)) -> rule6)) -> rule7))] Erin is quiet.[(((((((triple5 triple6) -> rule5)) -> rule4)) -> rule6))] Erin is white.[(((((((triple5 triple6) -> rule5)) -> rule4) triple5) -> rule2))] Gary is big.[(((((((triple7) -> rule4)) -> rule6)) -> rule7))] Gary is red.[(((triple7 ((((triple7) -> rule4)) -> rule6)) -> rule8))] @4: Dave is white.[(((((triple4) -> rule1) ((((((triple4) -> rule1)) -> rule6)) -> rule7)) -> rule2))] Erin is round.[(((triple5 ((((((triple5 triple6) -> rule5)) -> rule4) triple5) -> rule2)) -> rule3))] Gary is white.[(((((triple7) -> rule4) ((((((triple7) -> rule4)) -> rule6)) -> rule7)) -> rule2))] @5: Gary is round.[(((((((((triple7) -> rule4)) -> rule6)) -> rule7) ((((triple7) -> rule4) ((((((triple7) -> rule4)) -> rule6)) -> rule7)) -> rule2)) -> rule3))]