Bob is big. Bob is nice. Bob is quiet. Dave is green. Dave is quiet. Gary is green. Gary is red. Gary is round. Harry is green. Harry is red. Harry is round. Nice, quiet people are big. If someone is red and round then they are smart. All quiet people are round. If someone is big and nice then they are quiet. If someone is big and red then they are nice. If someone is quiet and round then they are red. If someone is red and round then they are smart. If Bob is green then Bob is big. All quiet, smart people are nice.
Gary is smart.
@0: Bob is big.[(triple1 OR ((triple2 triple3) -> rule1) OR ((((triple3 ((((triple3 ((triple3) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule2)) -> rule9) triple3) -> rule1) OR ((((triple3 ((((triple3 ((triple3) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule7)) -> rule9) triple3) -> rule1))] Bob is nice.[(triple2 OR ((triple1 ((triple3 ((triple3) -> rule3)) -> rule6)) -> rule5) OR ((triple3 ((((triple3 ((triple3) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule2)) -> rule9) OR ((triple3 ((((triple3 ((triple3) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule7)) -> rule9))] Bob is quiet.[(triple3 OR ((triple1 triple2) -> rule4))] Dave is green.[(triple4)] Dave is quiet.[(triple5)] Gary is green.[(triple6)] Gary is red.[(triple7)] Gary is round.[(triple8)] Harry is green.[(triple9)] Harry is red.[(triple10)] Harry is round.[(triple11)] @1: Bob is round.[(((triple3) -> rule3) OR ((((triple1 triple2) -> rule4)) -> rule3))] Dave is round.[(((triple5) -> rule3))] Gary is smart.[(((triple7 triple8) -> rule2) OR ((triple7 triple8) -> rule7))] Harry is smart.[(((triple10 triple11) -> rule2) OR ((triple10 triple11) -> rule7))] @2: Bob is red.[(((triple3 ((triple3) -> rule3)) -> rule6) OR ((((triple1 triple2) -> rule4) ((triple3) -> rule3)) -> rule6) OR ((triple3 ((((triple1 triple2) -> rule4)) -> rule3)) -> rule6) OR ((((triple1 triple2) -> rule4) ((((triple1 triple2) -> rule4)) -> rule3)) -> rule6))] Dave is red.[(((triple5 ((triple5) -> rule3)) -> rule6))] @3: Bob is smart.[(((((triple3 ((triple3) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule2) OR ((((triple3 ((triple3) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule7) OR ((((triple3 ((triple3) -> rule3)) -> rule6) ((((triple1 triple2) -> rule4)) -> rule3)) -> rule2) OR ((((triple3 ((triple3) -> rule3)) -> rule6) ((((triple1 triple2) -> rule4)) -> rule3)) -> rule7) OR ((((((triple1 triple2) -> rule4) ((triple3) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule2) OR ((((((triple1 triple2) -> rule4) ((triple3) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule7) OR ((((((triple1 triple2) -> rule4) ((triple3) -> rule3)) -> rule6) ((((triple1 triple2) -> rule4)) -> rule3)) -> rule2) OR ((((((triple1 triple2) -> rule4) ((triple3) -> rule3)) -> rule6) ((((triple1 triple2) -> rule4)) -> rule3)) -> rule7) OR ((((triple3 ((((triple1 triple2) -> rule4)) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule2) OR ((((triple3 ((((triple1 triple2) -> rule4)) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule7) OR ((((triple3 ((((triple1 triple2) -> rule4)) -> rule3)) -> rule6) ((((triple1 triple2) -> rule4)) -> rule3)) -> rule2) OR ((((triple3 ((((triple1 triple2) -> rule4)) -> rule3)) -> rule6) ((((triple1 triple2) -> rule4)) -> rule3)) -> rule7) OR ((((((triple1 triple2) -> rule4) ((((triple1 triple2) -> rule4)) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule2) OR ((((((triple1 triple2) -> rule4) ((((triple1 triple2) -> rule4)) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule7) OR ((((((triple1 triple2) -> rule4) ((((triple1 triple2) -> rule4)) -> rule3)) -> rule6) ((((triple1 triple2) -> rule4)) -> rule3)) -> rule2) OR ((((((triple1 triple2) -> rule4) ((((triple1 triple2) -> rule4)) -> rule3)) -> rule6) ((((triple1 triple2) -> rule4)) -> rule3)) -> rule7))] Dave is smart.[(((((triple5 ((triple5) -> rule3)) -> rule6) ((triple5) -> rule3)) -> rule2) OR ((((triple5 ((triple5) -> rule3)) -> rule6) ((triple5) -> rule3)) -> rule7))] @4: Dave is nice.[(((triple5 ((((triple5 ((triple5) -> rule3)) -> rule6) ((triple5) -> rule3)) -> rule2)) -> rule9) OR ((triple5 ((((triple5 ((triple5) -> rule3)) -> rule6) ((triple5) -> rule3)) -> rule7)) -> rule9))] @5: Dave is big.[(((((triple5 ((((triple5 ((triple5) -> rule3)) -> rule6) ((triple5) -> rule3)) -> rule2)) -> rule9) triple5) -> rule1) OR ((((triple5 ((((triple5 ((triple5) -> rule3)) -> rule6) ((triple5) -> rule3)) -> rule7)) -> rule9) triple5) -> rule1))]