Anne is big. Anne is furry. Anne is green. Anne is quiet. Bob is cold. Bob is furry. Gary is green. Harry is big. Harry is cold. Harry is green. Harry is nice. Green things are blue. All cold things are blue. If something is blue then it is big. Big things are nice. Nice, blue things are green. If something is blue and not big then it is quiet. All nice, green things are quiet. If something is blue and not cold then it is quiet.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
All cold things are blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If something is blue then it is big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
Big things are nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
Nice, blue things are green.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If something is blue and not big then it is quiet.
((("something" "is" "blue" "+") ("something" "is" "big" "~")) -> ("something" "is" "quiet" "+"))
All nice, green things are quiet.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
If something is blue and not cold then it is quiet.
((("something" "is" "blue" "+") ("something" "is" "cold" "~")) -> ("something" "is" "quiet" "+"))
Harry is big.
True
1
proof
[(triple8 OR ((((triple10) -> rule1)) -> rule3) OR ((((triple9) -> rule2)) -> rule3))]
("Harry" "is" "big" "+")
triple8
((((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not nice.
False
1
inv-proof
[(triple11 OR ((triple8) -> rule4) OR ((((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((((triple9) -> rule2)) -> rule3)) -> rule4))]
("Harry" "is" "nice" "-")
triple11
((triple8) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((((triple10) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Anne is blue.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "blue" "+")
((triple3) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not nice.
False
2
inv-proof
[(((triple1) -> rule4) OR ((((((triple3) -> rule1)) -> rule3)) -> rule4))]
("Anne" "is" "nice" "-")
((triple1) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Bob is big.
True
3
proof
[(((((triple5) -> rule2)) -> rule3))]
("Bob" "is" "big" "+")
((((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Gary is not big.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule3))]
("Gary" "is" "big" "-")
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
True
4
proof
[(((((((triple7) -> rule1)) -> rule3)) -> rule4))]
("Gary" "is" "nice" "+")
((((((triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not nice.
False
4
inv-proof
[(((((((triple7) -> rule1)) -> rule3)) -> rule4))]
("Gary" "is" "nice" "-")
((((((triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Bob is green.
True
7
proof
[(((((((((triple5) -> rule2)) -> rule3)) -> rule4) ((triple5) -> rule2)) -> rule5))]
("Bob" "is" "green" "+")
((((((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) ((triple5) -> (rule2 % int4))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is not green.
False
7
inv-proof
[(((((((((triple5) -> rule2)) -> rule3)) -> rule4) ((triple5) -> rule2)) -> rule5))]
("Bob" "is" "green" "-")
((((((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) ((triple5) -> (rule2 % int4))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is quiet.
True
12
proof
[(((((((((triple5) -> rule2)) -> rule3)) -> rule4) ((((((((triple5) -> rule2)) -> rule3)) -> rule4) ((triple5) -> rule2)) -> rule5)) -> rule7))]
("Bob" "is" "quiet" "+")
((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple5) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is not quiet.
False
12
inv-proof
[(((((((((triple5) -> rule2)) -> rule3)) -> rule4) ((((((((triple5) -> rule2)) -> rule3)) -> rule4) ((triple5) -> rule2)) -> rule5)) -> rule7))]
("Bob" "is" "quiet" "-")
((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple5) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Anne is big.[(triple1 OR ((((triple3) -> rule1)) -> rule3))] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is quiet.[(triple4 OR ((((triple1) -> rule4) triple3) -> rule7) OR ((((((((triple3) -> rule1)) -> rule3)) -> rule4) triple3) -> rule7))] Bob is cold.[(triple5)] Bob is furry.[(triple6)] Gary is green.[(triple7)] Harry is big.[(triple8 OR ((((triple10) -> rule1)) -> rule3) OR ((((triple9) -> rule2)) -> rule3))] Harry is cold.[(triple9)] Harry is green.[(triple10 OR ((triple11 ((triple9) -> rule2)) -> rule5) OR ((((triple8) -> rule4) ((triple9) -> rule2)) -> rule5) OR ((((((((triple9) -> rule2)) -> rule3)) -> rule4) ((triple9) -> rule2)) -> rule5))] Harry is nice.[(triple11 OR ((triple8) -> rule4) OR ((((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((((triple9) -> rule2)) -> rule3)) -> rule4))] @1: Anne is blue.[(((triple3) -> rule1))] Anne is nice.[(((triple1) -> rule4) OR ((((((triple3) -> rule1)) -> rule3)) -> rule4))] Bob is blue.[(((triple5) -> rule2))] Gary is blue.[(((triple7) -> rule1))] Harry is blue.[(((triple10) -> rule1) OR ((triple9) -> rule2))] Harry is quiet.[(((triple11 triple10) -> rule7) OR ((((triple8) -> rule4) triple10) -> rule7) OR ((triple11 ((triple11 ((triple9) -> rule2)) -> rule5)) -> rule7) OR ((triple11 ((((triple8) -> rule4) ((triple9) -> rule2)) -> rule5)) -> rule7) OR ((((triple8) -> rule4) ((triple11 ((triple9) -> rule2)) -> rule5)) -> rule7) OR ((((triple8) -> rule4) ((((triple8) -> rule4) ((triple9) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple10) -> rule1)) -> rule3)) -> rule4) triple10) -> rule7) OR ((((((((triple9) -> rule2)) -> rule3)) -> rule4) triple10) -> rule7) OR ((((((((triple10) -> rule1)) -> rule3)) -> rule4) ((triple11 ((triple9) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple9) -> rule2)) -> rule3)) -> rule4) ((triple11 ((triple9) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple10) -> rule1)) -> rule3)) -> rule4) ((((triple8) -> rule4) ((triple9) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple9) -> rule2)) -> rule3)) -> rule4) ((((triple8) -> rule4) ((triple9) -> rule2)) -> rule5)) -> rule7) OR ((triple11 ((((((((triple9) -> rule2)) -> rule3)) -> rule4) ((triple9) -> rule2)) -> rule5)) -> rule7) OR ((((triple8) -> rule4) ((((((((triple9) -> rule2)) -> rule3)) -> rule4) ((triple9) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple10) -> rule1)) -> rule3)) -> rule4) ((((((((triple9) -> rule2)) -> rule3)) -> rule4) ((triple9) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple9) -> rule2)) -> rule3)) -> rule4) ((((((((triple9) -> rule2)) -> rule3)) -> rule4) ((triple9) -> rule2)) -> rule5)) -> rule7))] @2: Bob is big.[(((((triple5) -> rule2)) -> rule3))] Gary is big.[(((((triple7) -> rule1)) -> rule3))] @3: Bob is nice.[(((((((triple5) -> rule2)) -> rule3)) -> rule4))] Gary is nice.[(((((((triple7) -> rule1)) -> rule3)) -> rule4))] @4: Bob is green.[(((((((((triple5) -> rule2)) -> rule3)) -> rule4) ((triple5) -> rule2)) -> rule5))] Gary is quiet.[(((((((((triple7) -> rule1)) -> rule3)) -> rule4) triple7) -> rule7))] @5: Bob is quiet.[(((((((((triple5) -> rule2)) -> rule3)) -> rule4) ((((((((triple5) -> rule2)) -> rule3)) -> rule4) ((triple5) -> rule2)) -> rule5)) -> rule7))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
((((triple1) -> (rule4 % int2)) triple3) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((((((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) triple3) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
((((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
((triple11 ((triple9) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple8) -> (rule4 % int3)) ((triple9) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((((triple9) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) ((triple9) -> (rule2 % int4))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
triple11
((triple8) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((((triple10) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
((triple3) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
((triple5) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple7) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple10) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple9) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple11 triple10) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((triple8) -> (rule4 % int2)) triple10) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((triple11 ((triple11 ((triple9) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple11 ((((triple8) -> (rule4 % int4)) ((triple9) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple8) -> (rule4 % int4)) ((triple11 ((triple9) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple8) -> (rule4 % int4)) ((((triple8) -> (rule4 % int4)) ((triple9) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((((triple10) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) triple10) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((((triple9) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) triple10) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple11 ((triple9) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple11 ((triple9) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple8) -> (rule4 % int3)) ((triple9) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple8) -> (rule4 % int3)) ((triple9) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((triple11 ((((((((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple9) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((triple8) -> (rule4 % int5)) ((((((((triple9) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int5)) ((triple9) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((((((((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple9) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((((((((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple9) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
((((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((((triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((((((triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((((((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) ((triple5) -> (rule2 % int4))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
((((((((triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple5) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5