Anne is red. Bob is quiet. Bob is red. Bob is rough. Bob is round. Charlie is kind. Charlie is round. Fiona is big. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. All kind things are rough. If Bob is big then Bob is nice. Red things are kind. Rough things are round. If something is round and rough then it is quiet. Quiet things are kind. If Charlie is kind and Charlie is quiet then Charlie is red. If Bob is rough then Bob is kind. Quiet, rough things are big.
Anne is quiet.
@0: Anne is red.[(triple1)] Bob is quiet.[(triple2 OR ((triple5 triple4) -> rule5) OR ((((triple4) -> rule4) triple4) -> rule5) OR ((triple5 ((((triple3) -> rule3)) -> rule1)) -> rule5) OR ((((triple4) -> rule4) ((((triple3) -> rule3)) -> rule1)) -> rule5) OR ((((((((triple3) -> rule3)) -> rule1)) -> rule4) triple4) -> rule5) OR ((((((((triple3) -> rule3)) -> rule1)) -> rule4) ((((triple3) -> rule3)) -> rule1)) -> rule5))] Bob is red.[(triple3)] Bob is rough.[(triple4 OR ((((triple2) -> rule6)) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] Bob is round.[(triple5 OR ((triple4) -> rule4) OR ((((((triple2) -> rule6)) -> rule1)) -> rule4) OR ((((((triple3) -> rule3)) -> rule1)) -> rule4))] Charlie is kind.[(triple6)] Charlie is round.[(triple7 OR ((((triple6) -> rule1)) -> rule4))] Fiona is big.[(triple8 OR ((triple11 triple13) -> rule9) OR ((triple11 ((triple9) -> rule1)) -> rule9) OR ((((triple14 triple13) -> rule5) triple13) -> rule9) OR ((((triple14 triple13) -> rule5) ((triple9) -> rule1)) -> rule9) OR ((triple11 ((((triple11) -> rule6)) -> rule1)) -> rule9) OR ((triple11 ((((triple12) -> rule3)) -> rule1)) -> rule9) OR ((((triple14 ((triple9) -> rule1)) -> rule5) triple13) -> rule9) OR ((((((triple13) -> rule4) triple13) -> rule5) triple13) -> rule9) OR ((((triple14 triple13) -> rule5) ((((triple11) -> rule6)) -> rule1)) -> rule9) OR ((((triple14 triple13) -> rule5) ((((triple12) -> rule3)) -> rule1)) -> rule9) OR ((((triple14 ((triple9) -> rule1)) -> rule5) ((triple9) -> rule1)) -> rule9) OR ((((((triple13) -> rule4) triple13) -> rule5) ((triple9) -> rule1)) -> rule9) OR ((((((triple13) -> rule4) ((triple9) -> rule1)) -> rule5) triple13) -> rule9) OR ((((triple14 ((triple9) -> rule1)) -> rule5) ((((triple11) -> rule6)) -> rule1)) -> rule9) OR ((((triple14 ((triple9) -> rule1)) -> rule5) ((((triple12) -> rule3)) -> rule1)) -> rule9) OR ((((((triple13) -> rule4) triple13) -> rule5) ((((triple11) -> rule6)) -> rule1)) -> rule9) OR ((((((triple13) -> rule4) triple13) -> rule5) ((((triple12) -> rule3)) -> rule1)) -> rule9) OR ((((((triple13) -> rule4) ((triple9) -> rule1)) -> rule5) ((triple9) -> rule1)) -> rule9) OR ((((((triple13) -> rule4) ((triple9) -> rule1)) -> rule5) ((((triple11) -> rule6)) -> rule1)) -> rule9) OR ((((((triple13) -> rule4) ((triple9) -> rule1)) -> rule5) ((((triple12) -> rule3)) -> rule1)) -> rule9) OR ((((triple14 ((((triple12) -> rule3)) -> rule1)) -> rule5) triple13) -> rule9) OR ((((((((triple9) -> rule1)) -> rule4) triple13) -> rule5) triple13) -> rule9) OR ((((triple14 ((((triple12) -> rule3)) -> rule1)) -> rule5) ((triple9) -> rule1)) -> rule9) OR ((((((triple13) -> rule4) ((((triple12) -> rule3)) -> rule1)) -> rule5) triple13) -> rule9) OR ((((((((triple9) -> rule1)) -> rule4) triple13) -> rule5) ((triple9) -> rule1)) -> rule9) OR ((((((((triple9) -> rule1)) -> rule4) ((triple9) -> rule1)) -> rule5) triple13) -> rule9) OR ((((triple14 ((((triple12) -> rule3)) -> rule1)) -> rule5) ((((triple11) -> rule6)) -> rule1)) -> rule9) OR ((((triple14 ((((triple12) -> rule3)) -> rule1)) -> rule5) ((((triple12) -> rule3)) -> rule1)) -> rule9) OR ((((((triple13) -> rule4) ((((triple12) -> rule3)) -> rule1)) -> rule5) ((triple9) -> rule1)) -> rule9) OR ((((((((triple9) -> rule1)) -> rule4) triple13) -> rule5) ((((triple11) -> rule6)) -> rule1)) -> rule9) OR ((((((((triple9) -> rule1)) -> rule4) triple13) -> rule5) ((((triple12) -> rule3)) -> rule1)) -> rule9) OR ((((((((triple9) -> rule1)) -> rule4) ((triple9) -> rule1)) -> rule5) ((triple9) -> rule1)) -> rule9) OR ((((((((triple9) -> rule1)) -> rule4) ((((triple12) -> rule3)) -> rule1)) -> rule5) triple13) -> rule9) OR ((((((triple13) -> rule4) ((((triple12) -> rule3)) -> rule1)) -> rule5) ((((triple11) -> rule6)) -> rule1)) -> rule9) OR ((((((triple13) -> rule4) ((((triple12) -> rule3)) -> rule1)) -> rule5) ((((triple12) -> rule3)) -> rule1)) -> rule9) OR ((((((((triple9) -> rule1)) -> rule4) ((triple9) -> rule1)) -> rule5) ((((triple11) -> rule6)) -> rule1)) -> rule9) OR ((((((((triple9) -> rule1)) -> rule4) ((triple9) -> rule1)) -> rule5) ((((triple12) -> rule3)) -> rule1)) -> rule9) OR ((((((((triple9) -> rule1)) -> rule4) ((((triple12) -> rule3)) -> rule1)) -> rule5) ((triple9) -> rule1)) -> rule9) OR ((((((((triple9) -> rule1)) -> rule4) ((((triple12) -> rule3)) -> rule1)) -> rule5) ((((triple11) -> rule6)) -> rule1)) -> rule9) OR ((((((((triple9) -> rule1)) -> rule4) ((((triple12) -> rule3)) -> rule1)) -> rule5) ((((triple12) -> rule3)) -> rule1)) -> rule9) OR ((((((((((triple12) -> rule3)) -> rule1)) -> rule4) triple13) -> rule5) triple13) -> rule9) OR ((((((((((triple12) -> rule3)) -> rule1)) -> rule4) triple13) -> rule5) ((triple9) -> rule1)) -> rule9) OR ((((((((((triple12) -> rule3)) -> rule1)) -> rule4) ((triple9) -> rule1)) -> rule5) triple13) -> rule9) OR ((((((((((triple12) -> rule3)) -> rule1)) -> rule4) triple13) -> rule5) ((((triple11) -> rule6)) -> rule1)) -> rule9) OR ((((((((((triple12) -> rule3)) -> rule1)) -> rule4) triple13) -> rule5) ((((triple12) -> rule3)) -> rule1)) -> rule9) OR ((((((((((triple12) -> rule3)) -> rule1)) -> rule4) ((triple9) -> rule1)) -> rule5) ((triple9) -> rule1)) -> rule9) OR ((((((((((triple12) -> rule3)) -> rule1)) -> rule4) ((((triple12) -> rule3)) -> rule1)) -> rule5) triple13) -> rule9) OR ((((((((((triple12) -> rule3)) -> rule1)) -> rule4) ((triple9) -> rule1)) -> rule5) ((((triple11) -> rule6)) -> rule1)) -> rule9) OR ((((((((((triple12) -> rule3)) -> rule1)) -> rule4) ((triple9) -> rule1)) -> rule5) ((((triple12) -> rule3)) -> rule1)) -> rule9) OR ((((((((((triple12) -> rule3)) -> rule1)) -> rule4) ((((triple12) -> rule3)) -> rule1)) -> rule5) ((triple9) -> rule1)) -> rule9) OR ((((((((((triple12) -> rule3)) -> rule1)) -> rule4) ((((triple12) -> rule3)) -> rule1)) -> rule5) ((((triple11) -> rule6)) -> rule1)) -> rule9) OR ((((((((((triple12) -> rule3)) -> rule1)) -> rule4) ((((triple12) -> rule3)) -> rule1)) -> rule5) ((((triple12) -> rule3)) -> rule1)) -> rule9))] Fiona is kind.[(triple9 OR ((triple11) -> rule6) OR ((triple12) -> rule3) OR ((((triple14 triple13) -> rule5)) -> rule6) OR ((((((triple13) -> rule4) triple13) -> rule5)) -> rule6))] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11 OR ((triple14 triple13) -> rule5) OR ((triple14 ((triple9) -> rule1)) -> rule5) OR ((((triple13) -> rule4) triple13) -> rule5) OR ((((triple13) -> rule4) ((triple9) -> rule1)) -> rule5) OR ((triple14 ((((triple12) -> rule3)) -> rule1)) -> rule5) OR ((((((triple9) -> rule1)) -> rule4) triple13) -> rule5) OR ((((triple13) -> rule4) ((((triple12) -> rule3)) -> rule1)) -> rule5) OR ((((((triple9) -> rule1)) -> rule4) ((triple9) -> rule1)) -> rule5) OR ((((((triple9) -> rule1)) -> rule4) ((((triple12) -> rule3)) -> rule1)) -> rule5) OR ((((((((triple12) -> rule3)) -> rule1)) -> rule4) triple13) -> rule5) OR ((((((((triple12) -> rule3)) -> rule1)) -> rule4) ((triple9) -> rule1)) -> rule5) OR ((((((((triple12) -> rule3)) -> rule1)) -> rule4) ((((triple12) -> rule3)) -> rule1)) -> rule5))] Fiona is red.[(triple12)] Fiona is rough.[(triple13 OR ((triple9) -> rule1) OR ((((triple11) -> rule6)) -> rule1) OR ((((triple12) -> rule3)) -> rule1))] Fiona is round.[(triple14 OR ((triple13) -> rule4) OR ((((triple9) -> rule1)) -> rule4) OR ((((((triple11) -> rule6)) -> rule1)) -> rule4) OR ((((((triple12) -> rule3)) -> rule1)) -> rule4))] @1: Anne is kind.[(((triple1) -> rule3))] Bob is big.[(((triple2 triple4) -> rule9) OR ((((triple5 triple4) -> rule5) triple4) -> rule9) OR ((triple2 ((((triple2) -> rule6)) -> rule1)) -> rule9) OR ((triple2 ((((triple3) -> rule3)) -> rule1)) -> rule9) OR ((((((triple4) -> rule4) triple4) -> rule5) triple4) -> rule9) OR ((((triple5 triple4) -> rule5) ((((triple2) -> rule6)) -> rule1)) -> rule9) OR ((((triple5 triple4) -> rule5) ((((triple3) -> rule3)) -> rule1)) -> rule9) OR ((((((triple4) -> rule4) triple4) -> rule5) ((((triple2) -> rule6)) -> rule1)) -> rule9) OR ((((((triple4) -> rule4) triple4) -> rule5) ((((triple3) -> rule3)) -> rule1)) -> rule9) OR ((((triple5 ((((triple3) -> rule3)) -> rule1)) -> rule5) triple4) -> rule9) OR ((((((triple4) -> rule4) ((((triple3) -> rule3)) -> rule1)) -> rule5) triple4) -> rule9) OR ((((triple5 ((((triple3) -> rule3)) -> rule1)) -> rule5) ((((triple2) -> rule6)) -> rule1)) -> rule9) OR ((((triple5 ((((triple3) -> rule3)) -> rule1)) -> rule5) ((((triple3) -> rule3)) -> rule1)) -> rule9) OR ((((((triple4) -> rule4) ((((triple3) -> rule3)) -> rule1)) -> rule5) ((((triple2) -> rule6)) -> rule1)) -> rule9) OR ((((((triple4) -> rule4) ((((triple3) -> rule3)) -> rule1)) -> rule5) ((((triple3) -> rule3)) -> rule1)) -> rule9) OR ((((((((((triple3) -> rule3)) -> rule1)) -> rule4) triple4) -> rule5) triple4) -> rule9) OR ((((((((((triple3) -> rule3)) -> rule1)) -> rule4) triple4) -> rule5) ((((triple2) -> rule6)) -> rule1)) -> rule9) OR ((((((((((triple3) -> rule3)) -> rule1)) -> rule4) triple4) -> rule5) ((((triple3) -> rule3)) -> rule1)) -> rule9) OR ((((((((((triple3) -> rule3)) -> rule1)) -> rule4) ((((triple3) -> rule3)) -> rule1)) -> rule5) triple4) -> rule9) OR ((((((((((triple3) -> rule3)) -> rule1)) -> rule4) ((((triple3) -> rule3)) -> rule1)) -> rule5) ((((triple2) -> rule6)) -> rule1)) -> rule9) OR ((((((((((triple3) -> rule3)) -> rule1)) -> rule4) ((((triple3) -> rule3)) -> rule1)) -> rule5) ((((triple3) -> rule3)) -> rule1)) -> rule9))] Bob is kind.[(((triple2) -> rule6) OR ((triple3) -> rule3) OR ((triple4) -> rule8) OR ((((triple5 triple4) -> rule5)) -> rule6) OR ((((((triple4) -> rule4) triple4) -> rule5)) -> rule6))] Charlie is rough.[(((triple6) -> rule1))] @2: Anne is rough.[(((((triple1) -> rule3)) -> rule1))] Bob is nice.[(((((triple2 triple4) -> rule9)) -> rule2) OR ((((((triple5 triple4) -> rule5) triple4) -> rule9)) -> rule2) OR ((((triple2 ((((triple2) -> rule6)) -> rule1)) -> rule9)) -> rule2) OR ((((triple2 ((((triple3) -> rule3)) -> rule1)) -> rule9)) -> rule2) OR ((((((((triple4) -> rule4) triple4) -> rule5) triple4) -> rule9)) -> rule2) OR ((((((triple5 triple4) -> rule5) ((((triple2) -> rule6)) -> rule1)) -> rule9)) -> rule2) OR ((((((triple5 triple4) -> rule5) ((((triple3) -> rule3)) -> rule1)) -> rule9)) -> rule2) OR ((((((((triple4) -> rule4) triple4) -> rule5) ((((triple2) -> rule6)) -> rule1)) -> rule9)) -> rule2) OR ((((((((triple4) -> rule4) triple4) -> rule5) ((((triple3) -> rule3)) -> rule1)) -> rule9)) -> rule2) OR ((((((triple5 ((((triple3) -> rule3)) -> rule1)) -> rule5) triple4) -> rule9)) -> rule2) OR ((((((((triple4) -> rule4) ((((triple3) -> rule3)) -> rule1)) -> rule5) triple4) -> rule9)) -> rule2) OR ((((((triple5 ((((triple3) -> rule3)) -> rule1)) -> rule5) ((((triple2) -> rule6)) -> rule1)) -> rule9)) -> rule2) OR ((((((triple5 ((((triple3) -> rule3)) -> rule1)) -> rule5) ((((triple3) -> rule3)) -> rule1)) -> rule9)) -> rule2) OR ((((((((triple4) -> rule4) ((((triple3) -> rule3)) -> rule1)) -> rule5) ((((triple2) -> rule6)) -> rule1)) -> rule9)) -> rule2) OR ((((((((triple4) -> rule4) ((((triple3) -> rule3)) -> rule1)) -> rule5) ((((triple3) -> rule3)) -> rule1)) -> rule9)) -> rule2) OR ((((((((((((triple3) -> rule3)) -> rule1)) -> rule4) triple4) -> rule5) triple4) -> rule9)) -> rule2) OR ((((((((((((triple3) -> rule3)) -> rule1)) -> rule4) triple4) -> rule5) ((((triple2) -> rule6)) -> rule1)) -> rule9)) -> rule2) OR ((((((((((((triple3) -> rule3)) -> rule1)) -> rule4) triple4) -> rule5) ((((triple3) -> rule3)) -> rule1)) -> rule9)) -> rule2) OR ((((((((((((triple3) -> rule3)) -> rule1)) -> rule4) ((((triple3) -> rule3)) -> rule1)) -> rule5) triple4) -> rule9)) -> rule2) OR ((((((((((((triple3) -> rule3)) -> rule1)) -> rule4) ((((triple3) -> rule3)) -> rule1)) -> rule5) ((((triple2) -> rule6)) -> rule1)) -> rule9)) -> rule2) OR ((((((((((((triple3) -> rule3)) -> rule1)) -> rule4) ((((triple3) -> rule3)) -> rule1)) -> rule5) ((((triple3) -> rule3)) -> rule1)) -> rule9)) -> rule2))] Charlie is quiet.[(((triple7 ((triple6) -> rule1)) -> rule5) OR ((((((triple6) -> rule1)) -> rule4) ((triple6) -> rule1)) -> rule5))] @3: Anne is round.[(((((((triple1) -> rule3)) -> rule1)) -> rule4))] Charlie is big.[(((((triple7 ((triple6) -> rule1)) -> rule5) ((triple6) -> rule1)) -> rule9) OR ((((((((triple6) -> rule1)) -> rule4) ((triple6) -> rule1)) -> rule5) ((triple6) -> rule1)) -> rule9))] Charlie is red.[(((triple6 ((triple7 ((triple6) -> rule1)) -> rule5)) -> rule7) OR ((triple6 ((((((triple6) -> rule1)) -> rule4) ((triple6) -> rule1)) -> rule5)) -> rule7))] @4: Anne is quiet.[(((((((((triple1) -> rule3)) -> rule1)) -> rule4) ((((triple1) -> rule3)) -> rule1)) -> rule5))] @5: Anne is big.[(((((((((((triple1) -> rule3)) -> rule1)) -> rule4) ((((triple1) -> rule3)) -> rule1)) -> rule5) ((((triple1) -> rule3)) -> rule1)) -> rule9))]