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