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