Dave is big. Dave is green. Dave is nice. Dave is quiet. Dave is smart. Dave is white. Harry is nice. All blue, nice things are quiet. All smart, big things are green. If something is nice then it is green. If something is green then it is nice. Quiet, blue things are smart. If something is smart and blue then it is nice. All green, nice things are blue. If Harry is quiet and Harry is white then Harry is smart.
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All blue, nice things are quiet.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
All smart, big things are green.
((("something" "is" "smart" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If something is nice then it is green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If something is green then it is nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
Quiet, blue things are smart.
((("something" "is" "quiet" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
If something is smart and blue then it is nice.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
All green, nice things are blue.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If Harry is quiet and Harry is white then Harry is smart.
((("Harry" "is" "quiet" "+") ("Harry" "is" "white" "+")) -> ("Harry" "is" "smart" "+"))
Dave is white.
True
1
proof
[(triple6)]
("Dave" "is" "white" "+")
triple6
Dave is not smart.
False
1
inv-proof
[(triple5 OR ((triple4 ((triple2 triple3) -> rule7)) -> rule5) OR ((triple4 ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((triple4 ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((triple4 ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) triple3) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) triple3) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) triple3) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) triple3) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5))]
("Dave" "is" "smart" "-")
triple5
((triple4 ((triple2 triple3) -> (rule7 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((triple4 ((triple2 ((triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple4 ((((triple3) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple4 ((((triple3) -> (rule3 % int4)) ((triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple2 triple3) -> (rule7 % int3)) triple3) -> (rule1 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple2 triple3) -> (rule7 % int4)) triple3) -> (rule1 % int3)) ((triple2 ((triple2) -> (rule4 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple2 triple3) -> (rule7 % int4)) triple3) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple2 triple3) -> (rule7 % int4)) ((triple2) -> (rule4 % int3))) -> (rule1 % int2)) ((triple2 triple3) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple2 triple3) -> (rule7 % int5)) triple3) -> (rule1 % int4)) ((((triple3) -> (rule3 % int3)) ((triple2) -> (rule4 % int2))) -> (rule7 % int5))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((triple2 triple3) -> (rule7 % int4)) ((triple2) -> (rule4 % int3))) -> (rule1 % int2)) ((triple2 ((triple2) -> (rule4 % int3))) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple2 triple3) -> (rule7 % int5)) ((triple2) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((triple2 triple3) -> (rule7 % int5)) ((triple2) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2)) ((triple2) -> (rule4 % int4))) -> (rule7 % int5))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) triple3) -> (rule1 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((((triple3) -> (rule3 % int4)) triple3) -> (rule7 % int3)) triple3) -> (rule1 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) triple3) -> (rule1 % int2)) ((triple2 ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple2 ((triple2) -> (rule4 % int5))) -> (rule7 % int4)) triple3) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) ((triple2) -> (rule4 % int4))) -> (rule1 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int4)) triple3) -> (rule1 % int3)) ((triple2 ((triple2) -> (rule4 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int4)) triple3) -> (rule7 % int3)) triple3) -> (rule1 % int2)) ((((triple3) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int4)) ((triple2) -> (rule4 % int3))) -> (rule1 % int2)) ((triple2 triple3) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) triple3) -> (rule1 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple2 ((triple2) -> (rule4 % int5))) -> (rule7 % int4)) triple3) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2)) ((triple2) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) ((triple2) -> (rule4 % int4))) -> (rule1 % int2)) ((triple2 ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple2 ((triple2) -> (rule4 % int5))) -> (rule7 % int4)) ((triple2) -> (rule4 % int5))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int4)) triple3) -> (rule1 % int3)) ((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int4)) ((triple2) -> (rule4 % int3))) -> (rule1 % int2)) ((triple2 ((triple2) -> (rule4 % int3))) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int4)) ((triple2) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) triple3) -> (rule1 % int2)) ((triple2 ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) triple3) -> (rule1 % int2)) ((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) ((triple2) -> (rule4 % int4))) -> (rule1 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple2 ((triple2) -> (rule4 % int5))) -> (rule7 % int4)) ((triple2) -> (rule4 % int5))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2)) ((triple2) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int4)) ((triple2) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int3))) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) triple3) -> (rule1 % int2)) ((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) ((triple2) -> (rule4 % int4))) -> (rule1 % int2)) ((triple2 ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) ((triple2) -> (rule4 % int4))) -> (rule1 % int2)) ((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) ((triple2) -> (rule4 % int4))) -> (rule1 % int2)) ((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Dave is big.[(triple1)] Dave is green.[(triple2 OR ((triple3) -> rule3) OR ((triple5 triple1) -> rule2))] Dave is nice.[(triple3 OR ((triple2) -> rule4) OR ((((triple5 triple1) -> rule2)) -> rule4))] Dave is quiet.[(triple4 OR ((((triple2 triple3) -> rule7) triple3) -> rule1) OR ((((triple2 triple3) -> rule7) ((triple2) -> rule4)) -> rule1) OR ((((triple2 ((triple2) -> rule4)) -> rule7) triple3) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule7) triple3) -> rule1) OR ((((((triple5 triple1) -> rule2) triple3) -> rule7) triple3) -> rule1) OR ((((triple2 triple3) -> rule7) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule1) OR ((((triple2 ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule7) ((triple2) -> rule4)) -> rule1) OR ((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) triple3) -> rule1) OR ((((((triple5 triple1) -> rule2) triple3) -> rule7) ((triple2) -> rule4)) -> rule1) OR ((((((triple5 triple1) -> rule2) ((triple2) -> rule4)) -> rule7) triple3) -> rule1) OR ((((triple2 ((triple2) -> rule4)) -> rule7) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule7) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule1) OR ((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) OR ((((((triple5 triple1) -> rule2) triple3) -> rule7) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule1) OR ((((((triple5 triple1) -> rule2) ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) OR ((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule1) OR ((((((triple5 triple1) -> rule2) ((triple2) -> rule4)) -> rule7) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule1) OR ((((triple2 ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) triple3) -> rule1) OR ((((triple2 ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) OR ((((((triple3) -> rule3) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) triple3) -> rule1) OR ((((((triple5 triple1) -> rule2) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) triple3) -> rule1) OR ((((triple2 ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule1) OR ((((((triple3) -> rule3) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) OR ((((((triple5 triple1) -> rule2) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) OR ((((((triple3) -> rule3) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule1) OR ((((((triple5 triple1) -> rule2) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule1))] Dave is smart.[(triple5 OR ((triple4 ((triple2 triple3) -> rule7)) -> rule5) OR ((triple4 ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((triple4 ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((triple4 ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) triple3) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) triple3) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) triple3) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) triple3) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5))] Dave is white.[(triple6)] Harry is nice.[(triple7)] @1: Dave is blue.[(((triple2 triple3) -> rule7) OR ((triple2 ((triple2) -> rule4)) -> rule7) OR ((((triple3) -> rule3) triple3) -> rule7) OR ((((triple5 triple1) -> rule2) triple3) -> rule7) OR ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) OR ((((triple5 triple1) -> rule2) ((triple2) -> rule4)) -> rule7) OR ((triple2 ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) OR ((((triple3) -> rule3) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) OR ((((triple5 triple1) -> rule2) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7))] Harry is green.[(((triple7) -> rule3))] @2: Harry is blue.[(((((triple7) -> rule3) triple7) -> rule7))] @3: Harry is quiet.[(((((((triple7) -> rule3) triple7) -> rule7) triple7) -> rule1))] @4: Harry is smart.[(((((((((triple7) -> rule3) triple7) -> rule7) triple7) -> rule1) ((((triple7) -> rule3) triple7) -> rule7)) -> rule5))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
((triple3) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple5 triple1) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple3
((triple2) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple5 triple1) -> (rule2 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
((((triple2 triple3) -> (rule7 % int2)) triple3) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple2 triple3) -> (rule7 % int3)) ((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple2 ((triple2) -> (rule4 % int3))) -> (rule7 % int2)) triple3) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((((triple3) -> (rule3 % int3)) triple3) -> (rule7 % int2)) triple3) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((triple5 triple1) -> (rule2 % int3)) triple3) -> (rule7 % int2)) triple3) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple2 triple3) -> (rule7 % int4)) ((((triple5 triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((triple2 ((triple2) -> (rule4 % int3))) -> (rule7 % int2)) ((triple2) -> (rule4 % int3))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((((triple3) -> (rule3 % int4)) triple3) -> (rule7 % int3)) ((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple3) -> (rule3 % int4)) ((triple2) -> (rule4 % int3))) -> (rule7 % int2)) triple3) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple5 triple1) -> (rule2 % int4)) triple3) -> (rule7 % int3)) ((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple5 triple1) -> (rule2 % int4)) ((triple2) -> (rule4 % int3))) -> (rule7 % int2)) triple3) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((triple2 ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple5 triple1) -> (rule2 % int2))) -> (rule4 % int4))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple3) -> (rule3 % int4)) triple3) -> (rule7 % int3)) ((((triple5 triple1) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple3) -> (rule3 % int4)) ((triple2) -> (rule4 % int3))) -> (rule7 % int2)) ((triple2) -> (rule4 % int3))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple5 triple1) -> (rule2 % int4)) triple3) -> (rule7 % int3)) ((((triple5 triple1) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple5 triple1) -> (rule2 % int4)) ((triple2) -> (rule4 % int3))) -> (rule7 % int2)) ((triple2) -> (rule4 % int3))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple3) -> (rule3 % int4)) ((triple2) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple5 triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple5 triple1) -> (rule2 % int4)) ((triple2) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple5 triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((triple2 ((((triple5 triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) triple3) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((triple2 ((((triple5 triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((triple2) -> (rule4 % int3))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple3) -> (rule3 % int4)) ((((triple5 triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) triple3) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple5 triple1) -> (rule2 % int4)) ((((triple5 triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) triple3) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((triple2 ((((triple5 triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple5 triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple3) -> (rule3 % int4)) ((((triple5 triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((triple2) -> (rule4 % int3))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple5 triple1) -> (rule2 % int4)) ((((triple5 triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((triple2) -> (rule4 % int3))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple3) -> (rule3 % int4)) ((((triple5 triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple5 triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple5 triple1) -> (rule2 % int4)) ((((triple5 triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple5 triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
((triple4 ((triple2 triple3) -> (rule7 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((triple4 ((triple2 ((triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple4 ((((triple3) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple4 ((((triple3) -> (rule3 % int4)) ((triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple2 triple3) -> (rule7 % int3)) triple3) -> (rule1 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple2 triple3) -> (rule7 % int4)) triple3) -> (rule1 % int3)) ((triple2 ((triple2) -> (rule4 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple2 triple3) -> (rule7 % int4)) triple3) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple2 triple3) -> (rule7 % int4)) ((triple2) -> (rule4 % int3))) -> (rule1 % int2)) ((triple2 triple3) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple2 triple3) -> (rule7 % int5)) triple3) -> (rule1 % int4)) ((((triple3) -> (rule3 % int3)) ((triple2) -> (rule4 % int2))) -> (rule7 % int5))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((triple2 triple3) -> (rule7 % int4)) ((triple2) -> (rule4 % int3))) -> (rule1 % int2)) ((triple2 ((triple2) -> (rule4 % int3))) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple2 triple3) -> (rule7 % int5)) ((triple2) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((triple2 triple3) -> (rule7 % int5)) ((triple2) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2)) ((triple2) -> (rule4 % int4))) -> (rule7 % int5))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) triple3) -> (rule1 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((((triple3) -> (rule3 % int4)) triple3) -> (rule7 % int3)) triple3) -> (rule1 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) triple3) -> (rule1 % int2)) ((triple2 ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple2 ((triple2) -> (rule4 % int5))) -> (rule7 % int4)) triple3) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) ((triple2) -> (rule4 % int4))) -> (rule1 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int4)) triple3) -> (rule1 % int3)) ((triple2 ((triple2) -> (rule4 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int4)) triple3) -> (rule7 % int3)) triple3) -> (rule1 % int2)) ((((triple3) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int4)) ((triple2) -> (rule4 % int3))) -> (rule1 % int2)) ((triple2 triple3) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) triple3) -> (rule1 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple2 ((triple2) -> (rule4 % int5))) -> (rule7 % int4)) triple3) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2)) ((triple2) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) ((triple2) -> (rule4 % int4))) -> (rule1 % int2)) ((triple2 ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple2 ((triple2) -> (rule4 % int5))) -> (rule7 % int4)) ((triple2) -> (rule4 % int5))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int4)) triple3) -> (rule1 % int3)) ((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int4)) ((triple2) -> (rule4 % int3))) -> (rule1 % int2)) ((triple2 ((triple2) -> (rule4 % int3))) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int4)) ((triple2) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) triple3) -> (rule1 % int2)) ((triple2 ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) triple3) -> (rule1 % int2)) ((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) ((triple2) -> (rule4 % int4))) -> (rule1 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple2 ((triple2) -> (rule4 % int5))) -> (rule7 % int4)) ((triple2) -> (rule4 % int5))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2)) ((triple2) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int4)) ((triple2) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int3))) -> (rule7 % int4))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) triple3) -> (rule1 % int2)) ((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) ((triple2) -> (rule4 % int4))) -> (rule1 % int2)) ((triple2 ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) ((triple2) -> (rule4 % int4))) -> (rule1 % int2)) ((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3)) ((triple2) -> (rule4 % int4))) -> (rule1 % int2)) ((((triple3) -> (rule3 % int5)) ((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
((triple2 triple3) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple2 ((triple2) -> (rule4 % int2))) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple3) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple5 triple1) -> (rule2 % int2)) triple3) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple3) -> (rule3 % int3)) ((triple2) -> (rule4 % int2))) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple5 triple1) -> (rule2 % int3)) ((triple2) -> (rule4 % int2))) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple2 ((((triple5 triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple3) -> (rule3 % int3)) ((((triple5 triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple5 triple1) -> (rule2 % int3)) ((((triple5 triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
((triple7) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((((triple7) -> (rule3 % int2)) triple7) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
((((((triple7) -> (rule3 % int3)) triple7) -> (rule7 % int2)) triple7) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
((((((((triple7) -> (rule3 % int4)) triple7) -> (rule7 % int3)) triple7) -> (rule1 % int2)) ((((triple7) -> (rule3 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4