Charlie is blue. Charlie is kind. Charlie is quiet. Dave is blue. Dave is furry. Dave is kind. Dave is red. Dave is round. Dave is young. Harry is blue. Harry is furry. Harry is kind. Harry is quiet. Harry is red. Harry is round. If someone is blue and round then they are kind. Quiet people are furry. All blue, red people are quiet. All kind, furry people are young. If Dave is blue and Dave is furry then Dave is kind. If Harry is young and Harry is quiet then Harry is red. Young, red people are blue. Furry people are quiet.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is blue and round then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
Quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
All blue, red people are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
All kind, furry people are young.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
If Dave is blue and Dave is furry then Dave is kind.
((("Dave" "is" "blue" "+") ("Dave" "is" "furry" "+")) -> ("Dave" "is" "kind" "+"))
If Harry is young and Harry is quiet then Harry is red.
((("Harry" "is" "young" "+") ("Harry" "is" "quiet" "+")) -> ("Harry" "is" "red" "+"))
Young, red people are blue.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Dave is red.
True
1
proof
[(triple7)]
("Dave" "is" "red" "+")
triple7
Harry is not round.
False
1
inv-proof
[(triple15)]
("Harry" "is" "round" "-")
triple15
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] Dave is blue.[(triple4 OR ((triple9 triple7) -> rule7) OR ((((triple6 triple5) -> rule4) triple7) -> rule7))] Dave is furry.[(triple5 OR ((((triple4 triple7) -> rule3)) -> rule2) OR ((((((triple9 triple7) -> rule7) triple7) -> rule3)) -> rule2))] Dave is kind.[(triple6 OR ((triple4 triple5) -> rule5) OR ((triple4 triple8) -> rule1) OR ((((triple9 triple7) -> rule7) triple5) -> rule5) OR ((((triple9 triple7) -> rule7) triple8) -> rule1) OR ((triple4 ((((triple4 triple7) -> rule3)) -> rule2)) -> rule5) OR ((((triple9 triple7) -> rule7) ((((triple4 triple7) -> rule3)) -> rule2)) -> rule5) OR ((triple4 ((((((triple9 triple7) -> rule7) triple7) -> rule3)) -> rule2)) -> rule5) OR ((((triple9 triple7) -> rule7) ((((((triple9 triple7) -> rule7) triple7) -> rule3)) -> rule2)) -> rule5))] Dave is red.[(triple7)] Dave is round.[(triple8)] Dave is young.[(triple9 OR ((triple6 triple5) -> rule4) OR ((((triple4 triple5) -> rule5) triple5) -> rule4) OR ((((triple4 triple8) -> rule1) triple5) -> rule4) OR ((triple6 ((((triple4 triple7) -> rule3)) -> rule2)) -> rule4) OR ((((triple4 triple5) -> rule5) ((((triple4 triple7) -> rule3)) -> rule2)) -> rule4) OR ((((triple4 triple8) -> rule1) ((((triple4 triple7) -> rule3)) -> rule2)) -> rule4) OR ((((triple4 ((((triple4 triple7) -> rule3)) -> rule2)) -> rule5) triple5) -> rule4) OR ((((triple4 ((((triple4 triple7) -> rule3)) -> rule2)) -> rule5) ((((triple4 triple7) -> rule3)) -> rule2)) -> rule4))] Harry is blue.[(triple10 OR ((((triple12 triple11) -> rule4) triple14) -> rule7) OR ((((triple12 ((triple13) -> rule2)) -> rule4) triple14) -> rule7) OR ((((triple12 triple11) -> rule4) ((((triple12 triple11) -> rule4) triple13) -> rule6)) -> rule7) OR ((((triple12 triple11) -> rule4) ((((triple12 triple11) -> rule4) ((triple11) -> rule8)) -> rule6)) -> rule7) OR ((((triple12 ((triple13) -> rule2)) -> rule4) ((((triple12 triple11) -> rule4) triple13) -> rule6)) -> rule7) OR ((((triple12 ((triple13) -> rule2)) -> rule4) ((((triple12 triple11) -> rule4) ((triple11) -> rule8)) -> rule6)) -> rule7) OR ((((triple12 triple11) -> rule4) ((((triple12 ((triple13) -> rule2)) -> rule4) triple13) -> rule6)) -> rule7) OR ((((triple12 triple11) -> rule4) ((((triple12 ((triple13) -> rule2)) -> rule4) ((triple11) -> rule8)) -> rule6)) -> rule7) OR ((((triple12 ((triple13) -> rule2)) -> rule4) ((((triple12 ((triple13) -> rule2)) -> rule4) triple13) -> rule6)) -> rule7) OR ((((triple12 ((triple13) -> rule2)) -> rule4) ((((triple12 ((triple13) -> rule2)) -> rule4) ((triple11) -> rule8)) -> rule6)) -> rule7))] Harry is furry.[(triple11 OR ((triple13) -> rule2) OR ((((triple10 triple14) -> rule3)) -> rule2))] Harry is kind.[(triple12 OR ((triple10 triple15) -> rule1))] Harry is quiet.[(triple13 OR ((triple11) -> rule8) OR ((triple10 triple14) -> rule3) OR ((((((triple12 triple11) -> rule4) triple14) -> rule7) triple14) -> rule3))] Harry is red.[(triple14 OR ((((triple12 triple11) -> rule4) triple13) -> rule6) OR ((((triple12 triple11) -> rule4) ((triple11) -> rule8)) -> rule6) OR ((((triple12 ((triple13) -> rule2)) -> rule4) triple13) -> rule6) OR ((((((triple10 triple15) -> rule1) triple11) -> rule4) triple13) -> rule6) OR ((((triple12 ((triple13) -> rule2)) -> rule4) ((triple11) -> rule8)) -> rule6) OR ((((((triple10 triple15) -> rule1) triple11) -> rule4) ((triple11) -> rule8)) -> rule6) OR ((((((triple10 triple15) -> rule1) ((triple13) -> rule2)) -> rule4) triple13) -> rule6) OR ((((((triple10 triple15) -> rule1) ((triple13) -> rule2)) -> rule4) ((triple11) -> rule8)) -> rule6))] Harry is round.[(triple15)] @1: Charlie is furry.[(((triple3) -> rule2))] Dave is quiet.[(((triple5) -> rule8) OR ((triple4 triple7) -> rule3) OR ((((triple9 triple7) -> rule7) triple7) -> rule3) OR ((((((triple6 triple5) -> rule4) triple7) -> rule7) triple7) -> rule3))] Harry is young.[(((triple12 triple11) -> rule4) OR ((triple12 ((triple13) -> rule2)) -> rule4) OR ((((triple10 triple15) -> rule1) triple11) -> rule4) OR ((((triple10 triple15) -> rule1) ((triple13) -> rule2)) -> rule4) OR ((triple12 ((((triple10 triple14) -> rule3)) -> rule2)) -> rule4) OR ((((triple10 triple15) -> rule1) ((((triple10 triple14) -> rule3)) -> rule2)) -> rule4))] @2: Charlie is young.[(((triple2 ((triple3) -> rule2)) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
((triple9 triple7) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple6 triple5) -> (rule4 % int2)) triple7) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
triple5
((((triple4 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((((triple9 triple7) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
triple6
((triple4 triple5) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((triple4 triple8) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple9 triple7) -> (rule7 % int2)) triple5) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple9 triple7) -> (rule7 % int2)) triple8) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((triple4 ((((triple4 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((triple9 triple7) -> (rule7 % int4)) ((((triple4 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((triple4 ((((((triple9 triple7) -> (rule7 % int4)) triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((triple9 triple7) -> (rule7 % int4)) ((((((triple9 triple7) -> (rule7 % int4)) triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
((triple6 triple5) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple4 triple5) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple4 triple8) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((triple6 ((((triple4 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((triple4 triple5) -> (rule5 % int4)) ((((triple4 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple4 triple8) -> (rule1 % int4)) ((((triple4 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple4 ((((triple4 triple7) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((triple4 ((((triple4 triple7) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) ((((triple4 triple7) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
triple10
((((triple12 triple11) -> (rule4 % int2)) triple14) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple12 ((triple13) -> (rule2 % int3))) -> (rule4 % int2)) triple14) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple12 triple11) -> (rule4 % int3)) ((((triple12 triple11) -> (rule4 % int3)) triple13) -> (rule6 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple12 triple11) -> (rule4 % int4)) ((((triple12 triple11) -> (rule4 % int4)) ((triple11) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple12 ((triple13) -> (rule2 % int4))) -> (rule4 % int3)) ((((triple12 triple11) -> (rule4 % int3)) triple13) -> (rule6 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple12 ((triple13) -> (rule2 % int5))) -> (rule4 % int4)) ((((triple12 triple11) -> (rule4 % int4)) ((triple11) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((triple12 triple11) -> (rule4 % int4)) ((((triple12 ((triple13) -> (rule2 % int3))) -> (rule4 % int4)) triple13) -> (rule6 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple12 triple11) -> (rule4 % int5)) ((((triple12 ((triple13) -> (rule2 % int4))) -> (rule4 % int5)) ((triple11) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple12 ((triple13) -> (rule2 % int4))) -> (rule4 % int3)) ((((triple12 ((triple13) -> (rule2 % int4))) -> (rule4 % int3)) triple13) -> (rule6 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple12 ((triple13) -> (rule2 % int5))) -> (rule4 % int4)) ((((triple12 ((triple13) -> (rule2 % int5))) -> (rule4 % int4)) ((triple11) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
triple11
((triple13) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple10 triple14) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
triple12
((triple10 triple15) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
((triple11) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((triple10 triple14) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((((triple12 triple11) -> (rule4 % int3)) triple14) -> (rule7 % int2)) triple14) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
triple14
((((triple12 triple11) -> (rule4 % int2)) triple13) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple12 triple11) -> (rule4 % int3)) ((triple11) -> (rule8 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple12 ((triple13) -> (rule2 % int3))) -> (rule4 % int2)) triple13) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple10 triple15) -> (rule1 % int3)) triple11) -> (rule4 % int2)) triple13) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple12 ((triple13) -> (rule2 % int4))) -> (rule4 % int3)) ((triple11) -> (rule8 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((triple10 triple15) -> (rule1 % int4)) triple11) -> (rule4 % int3)) ((triple11) -> (rule8 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple10 triple15) -> (rule1 % int4)) ((triple13) -> (rule2 % int3))) -> (rule4 % int2)) triple13) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple10 triple15) -> (rule1 % int5)) ((triple13) -> (rule2 % int4))) -> (rule4 % int3)) ((triple11) -> (rule8 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is round.
("Harry" "is" "round" "+")
triple15
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple5) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple4 triple7) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple9 triple7) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((((triple6 triple5) -> (rule4 % int3)) triple7) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
((triple12 triple11) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple12 ((triple13) -> (rule2 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple10 triple15) -> (rule1 % int2)) triple11) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple10 triple15) -> (rule1 % int3)) ((triple13) -> (rule2 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple12 ((((triple10 triple14) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple10 triple15) -> (rule1 % int4)) ((((triple10 triple14) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
((triple2 ((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2