Dave is furry. Fiona is furry. Fiona is white. Gary is quiet. Gary is red. Harry is blue. Harry is furry. Harry is quiet. Harry is red. Harry is white. Harry is young. If Fiona is white then Fiona is big. All furry, big people are red. If someone is white then they are big. If someone is furry then they are white. If someone is blue and young then they are white. White people are young. If someone is big and blue then they are quiet. Furry people are young. Red people are blue.
Gary is furry.
@0: Dave is furry.[(triple1)] Fiona is furry.[(triple2)] Fiona is white.[(triple3 OR ((triple2) -> rule4))] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Harry is blue.[(triple6 OR ((triple9) -> rule9) OR ((((triple7 ((triple10) -> rule3)) -> rule2)) -> rule9) OR ((((triple7 ((((triple7) -> rule4)) -> rule3)) -> rule2)) -> rule9))] Harry is furry.[(triple7)] Harry is quiet.[(triple8 OR ((((triple10) -> rule3) triple6) -> rule7) OR ((((triple10) -> rule3) ((triple9) -> rule9)) -> rule7) OR ((((((triple7) -> rule4)) -> rule3) triple6) -> rule7) OR ((((((triple6 triple11) -> rule5)) -> rule3) triple6) -> rule7) OR ((((((triple7) -> rule4)) -> rule3) ((triple9) -> rule9)) -> rule7) OR ((((((triple6 triple11) -> rule5)) -> rule3) ((triple9) -> rule9)) -> rule7) OR ((((((triple6 ((triple7) -> rule8)) -> rule5)) -> rule3) triple6) -> rule7) OR ((((((((triple9) -> rule9) triple11) -> rule5)) -> rule3) triple6) -> rule7) OR ((((triple10) -> rule3) ((((triple7 ((triple10) -> rule3)) -> rule2)) -> rule9)) -> rule7) OR ((((((triple6 ((triple7) -> rule8)) -> rule5)) -> rule3) ((triple9) -> rule9)) -> rule7) OR ((((((((triple9) -> rule9) triple11) -> rule5)) -> rule3) ((triple9) -> rule9)) -> rule7) OR ((((((((triple9) -> rule9) ((triple7) -> rule8)) -> rule5)) -> rule3) triple6) -> rule7) OR ((((((triple7) -> rule4)) -> rule3) ((((triple7 ((triple10) -> rule3)) -> rule2)) -> rule9)) -> rule7) OR ((((((triple6 triple11) -> rule5)) -> rule3) ((((triple7 ((triple10) -> rule3)) -> rule2)) -> rule9)) -> rule7) OR ((((((((triple9) -> rule9) ((triple7) -> rule8)) -> rule5)) -> rule3) ((triple9) -> rule9)) -> rule7) OR ((((((triple6 ((triple7) -> rule8)) -> rule5)) -> rule3) ((((triple7 ((triple10) -> rule3)) -> rule2)) -> rule9)) -> rule7) OR ((((((((triple9) -> rule9) triple11) -> rule5)) -> rule3) ((((triple7 ((triple10) -> rule3)) -> rule2)) -> rule9)) -> rule7) OR ((((((((triple9) -> rule9) ((triple7) -> rule8)) -> rule5)) -> rule3) ((((triple7 ((triple10) -> rule3)) -> rule2)) -> rule9)) -> rule7) OR ((((triple10) -> rule3) ((((triple7 ((((triple7) -> rule4)) -> rule3)) -> rule2)) -> rule9)) -> rule7) OR ((((((triple7) -> rule4)) -> rule3) ((((triple7 ((((triple7) -> rule4)) -> rule3)) -> rule2)) -> rule9)) -> rule7) OR ((((((triple6 triple11) -> rule5)) -> rule3) ((((triple7 ((((triple7) -> rule4)) -> rule3)) -> rule2)) -> rule9)) -> rule7) OR ((((((triple6 ((triple7) -> rule8)) -> rule5)) -> rule3) ((((triple7 ((((triple7) -> rule4)) -> rule3)) -> rule2)) -> rule9)) -> rule7) OR ((((((((triple9) -> rule9) triple11) -> rule5)) -> rule3) ((((triple7 ((((triple7) -> rule4)) -> rule3)) -> rule2)) -> rule9)) -> rule7) OR ((((((((triple9) -> rule9) ((triple7) -> rule8)) -> rule5)) -> rule3) ((((triple7 ((((triple7) -> rule4)) -> rule3)) -> rule2)) -> rule9)) -> rule7))] Harry is red.[(triple9 OR ((triple7 ((triple10) -> rule3)) -> rule2) OR ((triple7 ((((triple7) -> rule4)) -> rule3)) -> rule2) OR ((triple7 ((((triple6 triple11) -> rule5)) -> rule3)) -> rule2) OR ((triple7 ((((triple6 ((triple7) -> rule8)) -> rule5)) -> rule3)) -> rule2))] Harry is white.[(triple10 OR ((triple7) -> rule4) OR ((triple6 triple11) -> rule5) OR ((triple6 ((triple7) -> rule8)) -> rule5) OR ((((triple9) -> rule9) triple11) -> rule5) OR ((((triple9) -> rule9) ((triple7) -> rule8)) -> rule5))] Harry is young.[(triple11 OR ((triple10) -> rule6) OR ((triple7) -> rule8) OR ((((triple7) -> rule4)) -> rule6))] @1: Dave is white.[(((triple1) -> rule4))] Dave is young.[(((triple1) -> rule8) OR ((((triple1) -> rule4)) -> rule6))] Fiona is big.[(((triple3) -> rule1) OR ((triple3) -> rule3) OR ((((triple2) -> rule4)) -> rule1) OR ((((triple2) -> rule4)) -> rule3))] Fiona is young.[(((triple2) -> rule8) OR ((triple3) -> rule6) OR ((((triple2) -> rule4)) -> rule6))] Gary is blue.[(((triple5) -> rule9))] Harry is big.[(((triple10) -> rule3) OR ((((triple7) -> rule4)) -> rule3) OR ((((triple6 triple11) -> rule5)) -> rule3) OR ((((triple6 ((triple7) -> rule8)) -> rule5)) -> rule3) OR ((((((triple9) -> rule9) triple11) -> rule5)) -> rule3) OR ((((((triple9) -> rule9) ((triple7) -> rule8)) -> rule5)) -> rule3))] @2: Dave is big.[(((((triple1) -> rule4)) -> rule3))] Fiona is red.[(((triple2 ((triple3) -> rule1)) -> rule2) OR ((triple2 ((triple3) -> rule3)) -> rule2) OR ((triple2 ((((triple2) -> rule4)) -> rule1)) -> rule2) OR ((triple2 ((((triple2) -> rule4)) -> rule3)) -> rule2))] @3: Dave is red.[(((triple1 ((((triple1) -> rule4)) -> rule3)) -> rule2))] Fiona is blue.[(((((triple2 ((triple3) -> rule1)) -> rule2)) -> rule9) OR ((((triple2 ((triple3) -> rule3)) -> rule2)) -> rule9) OR ((((triple2 ((((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule9) OR ((((triple2 ((((triple2) -> rule4)) -> rule3)) -> rule2)) -> rule9))] @4: Dave is blue.[(((((triple1 ((((triple1) -> rule4)) -> rule3)) -> rule2)) -> rule9))] Fiona is quiet.[(((((triple3) -> rule1) ((((triple2 ((triple3) -> rule1)) -> rule2)) -> rule9)) -> rule7) OR ((((triple3) -> rule1) ((((triple2 ((triple3) -> rule3)) -> rule2)) -> rule9)) -> rule7) OR ((((triple3) -> rule3) ((((triple2 ((triple3) -> rule1)) -> rule2)) -> rule9)) -> rule7) OR ((((triple3) -> rule3) ((((triple2 ((triple3) -> rule3)) -> rule2)) -> rule9)) -> rule7) OR ((((((triple2) -> rule4)) -> rule1) ((((triple2 ((triple3) -> rule1)) -> rule2)) -> rule9)) -> rule7) OR ((((((triple2) -> rule4)) -> rule1) ((((triple2 ((triple3) -> rule3)) -> rule2)) -> rule9)) -> rule7) OR ((((((triple2) -> rule4)) -> rule3) ((((triple2 ((triple3) -> rule1)) -> rule2)) -> rule9)) -> rule7) OR ((((((triple2) -> rule4)) -> rule3) ((((triple2 ((triple3) -> rule3)) -> rule2)) -> rule9)) -> rule7) OR ((((triple3) -> rule1) ((((triple2 ((((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule9)) -> rule7) OR ((((triple3) -> rule1) ((((triple2 ((((triple2) -> rule4)) -> rule3)) -> rule2)) -> rule9)) -> rule7) OR ((((triple3) -> rule3) ((((triple2 ((((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule9)) -> rule7) OR ((((triple3) -> rule3) ((((triple2 ((((triple2) -> rule4)) -> rule3)) -> rule2)) -> rule9)) -> rule7) OR ((((((triple2) -> rule4)) -> rule1) ((((triple2 ((((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule9)) -> rule7) OR ((((((triple2) -> rule4)) -> rule1) ((((triple2 ((((triple2) -> rule4)) -> rule3)) -> rule2)) -> rule9)) -> rule7) OR ((((((triple2) -> rule4)) -> rule3) ((((triple2 ((((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule9)) -> rule7) OR ((((((triple2) -> rule4)) -> rule3) ((((triple2 ((((triple2) -> rule4)) -> rule3)) -> rule2)) -> rule9)) -> rule7))] @5: Dave is quiet.[(((((((triple1) -> rule4)) -> rule3) ((((triple1 ((((triple1) -> rule4)) -> rule3)) -> rule2)) -> rule9)) -> rule7))]