Charlie is nice. Dave is big. Dave is white. Gary is blue. Gary is furry. Gary is red. Harry is big. Harry is furry. Harry is nice. Harry is red. All nice things are big. Furry things are red. Nice, big things are red. If something is furry then it is big. Big, red things are young. Furry things are white. All nice things are blue. Red, big things are young. If something is young and blue then it is furry.
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is white.
("Dave" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
All nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
Furry things are red.
((("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
Nice, big things are red.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something is furry then it is big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Big, red things are young.
((("something" "is" "big" "+") ("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
Furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
All nice things are blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
Red, big things are young.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
If something is young and blue then it is furry.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Gary is furry.
True
1
proof
[(triple5)]
("Gary" "is" "furry" "+")
triple5
Dave is not white.
False
1
inv-proof
[(triple3)]
("Dave" "is" "white" "-")
triple3
Harry is blue.
True
2
proof
[(((triple9) -> rule7))]
("Harry" "is" "blue" "+")
((triple9) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Gary is not big.
False
2
inv-proof
[(((triple5) -> rule4))]
("Gary" "is" "big" "-")
((triple5) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Charlie is red.
True
4
proof
[(((triple1 ((triple1) -> rule1)) -> rule3))]
("Charlie" "is" "red" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not red.
False
4
inv-proof
[(((triple1 ((triple1) -> rule1)) -> rule3))]
("Charlie" "is" "red" "-")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
True
7
proof
[(((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule5) OR ((((triple1 ((triple1) -> rule1)) -> rule3) ((triple1) -> rule1)) -> rule8))]
("Charlie" "is" "young" "+")
((((triple1) -> (rule1 % int3)) ((triple1 ((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple1 ((triple1) -> (rule1 % int3))) -> (rule3 % int2)) ((triple1) -> (rule1 % int3))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not young.
False
7
inv-proof
[(((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule5) OR ((((triple1 ((triple1) -> rule1)) -> rule3) ((triple1) -> rule1)) -> rule8))]
("Charlie" "is" "young" "-")
((((triple1) -> (rule1 % int3)) ((triple1 ((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple1 ((triple1) -> (rule1 % int3))) -> (rule3 % int2)) ((triple1) -> (rule1 % int3))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
True
10
proof
[(((((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule5) ((triple1) -> rule7)) -> rule9) OR ((((((triple1 ((triple1) -> rule1)) -> rule3) ((triple1) -> rule1)) -> rule8) ((triple1) -> rule7)) -> rule9))]
("Charlie" "is" "furry" "+")
((((((triple1) -> (rule1 % int5)) ((triple1 ((triple1) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple1) -> (rule7 % int2))) -> (rule9 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple1 ((triple1) -> (rule1 % int5))) -> (rule3 % int4)) ((triple1) -> (rule1 % int5))) -> (rule8 % int3)) ((triple1) -> (rule7 % int2))) -> (rule9 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is not furry.
False
10
inv-proof
[(((((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule5) ((triple1) -> rule7)) -> rule9) OR ((((((triple1 ((triple1) -> rule1)) -> rule3) ((triple1) -> rule1)) -> rule8) ((triple1) -> rule7)) -> rule9))]
("Charlie" "is" "furry" "-")
((((((triple1) -> (rule1 % int5)) ((triple1 ((triple1) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple1) -> (rule7 % int2))) -> (rule9 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple1 ((triple1) -> (rule1 % int5))) -> (rule3 % int4)) ((triple1) -> (rule1 % int5))) -> (rule8 % int3)) ((triple1) -> (rule7 % int2))) -> (rule9 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is white.
True
11
proof
[(((((((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule5) ((triple1) -> rule7)) -> rule9)) -> rule6) OR ((((((((triple1 ((triple1) -> rule1)) -> rule3) ((triple1) -> rule1)) -> rule8) ((triple1) -> rule7)) -> rule9)) -> rule6))]
("Charlie" "is" "white" "+")
((((((((triple1) -> (rule1 % int6)) ((triple1 ((triple1) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) ((triple1) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
int6
((((((((triple1 ((triple1) -> (rule1 % int6))) -> (rule3 % int5)) ((triple1) -> (rule1 % int6))) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
int6
Charlie is not white.
False
11
inv-proof
[(((((((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule5) ((triple1) -> rule7)) -> rule9)) -> rule6) OR ((((((((triple1 ((triple1) -> rule1)) -> rule3) ((triple1) -> rule1)) -> rule8) ((triple1) -> rule7)) -> rule9)) -> rule6))]
("Charlie" "is" "white" "-")
((((((((triple1) -> (rule1 % int6)) ((triple1 ((triple1) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) ((triple1) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
int6
((((((((triple1 ((triple1) -> (rule1 % int6))) -> (rule3 % int5)) ((triple1) -> (rule1 % int6))) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
int6
Dave is not red.
Unknown
inv-rconc
[@3: Dave is red.[CWA. Example of deepest failure = (rule2 <- rule9 <- rule7 <- FAIL)]]
("Dave" "is" "red" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "blue" "+")
Dave is not young.
Unknown
inv-rconc
[@4: Dave is young.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule9 <- rule7 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is furry.
Unknown
rconc
[@2: Dave is furry.[CWA. Example of deepest failure = (rule9 <- rule7 <- FAIL)]]
("Dave" "is" "furry" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Charlie is nice.[(triple1)] Dave is big.[(triple2)] Dave is white.[(triple3)] Gary is blue.[(triple4)] Gary is furry.[(triple5)] Gary is red.[(triple6 OR ((triple5) -> rule2))] Harry is big.[(triple7 OR ((triple8) -> rule4) OR ((triple9) -> rule1))] Harry is furry.[(triple8 OR ((((triple10 triple7) -> rule8) ((triple9) -> rule7)) -> rule9) OR ((((triple7 triple10) -> rule5) ((triple9) -> rule7)) -> rule9) OR ((((triple10 ((triple9) -> rule1)) -> rule8) ((triple9) -> rule7)) -> rule9) OR ((((triple7 ((triple9 triple7) -> rule3)) -> rule5) ((triple9) -> rule7)) -> rule9) OR ((((((triple9) -> rule1) triple10) -> rule5) ((triple9) -> rule7)) -> rule9) OR ((((((triple9 triple7) -> rule3) triple7) -> rule8) ((triple9) -> rule7)) -> rule9) OR ((((((triple9) -> rule1) ((triple9 triple7) -> rule3)) -> rule5) ((triple9) -> rule7)) -> rule9) OR ((((((triple9 triple7) -> rule3) ((triple9) -> rule1)) -> rule8) ((triple9) -> rule7)) -> rule9) OR ((((triple7 ((triple9 ((triple9) -> rule1)) -> rule3)) -> rule5) ((triple9) -> rule7)) -> rule9) OR ((((((triple9 ((triple9) -> rule1)) -> rule3) triple7) -> rule8) ((triple9) -> rule7)) -> rule9) OR ((((((triple9) -> rule1) ((triple9 ((triple9) -> rule1)) -> rule3)) -> rule5) ((triple9) -> rule7)) -> rule9) OR ((((((triple9 ((triple9) -> rule1)) -> rule3) ((triple9) -> rule1)) -> rule8) ((triple9) -> rule7)) -> rule9))] Harry is nice.[(triple9)] Harry is red.[(triple10 OR ((triple8) -> rule2) OR ((triple9 triple7) -> rule3) OR ((triple9 ((triple8) -> rule4)) -> rule3) OR ((triple9 ((triple9) -> rule1)) -> rule3))] @1: Charlie is big.[(((triple1) -> rule1))] Charlie is blue.[(((triple1) -> rule7))] Gary is big.[(((triple5) -> rule4))] Gary is white.[(((triple5) -> rule6))] Harry is blue.[(((triple9) -> rule7))] Harry is white.[(((triple8) -> rule6) OR ((((((triple10 triple7) -> rule8) ((triple9) -> rule7)) -> rule9)) -> rule6) OR ((((((triple7 triple10) -> rule5) ((triple9) -> rule7)) -> rule9)) -> rule6) OR ((((((triple10 ((triple9) -> rule1)) -> rule8) ((triple9) -> rule7)) -> rule9)) -> rule6) OR ((((((triple7 ((triple9 triple7) -> rule3)) -> rule5) ((triple9) -> rule7)) -> rule9)) -> rule6) OR ((((((((triple9) -> rule1) triple10) -> rule5) ((triple9) -> rule7)) -> rule9)) -> rule6) OR ((((((((triple9 triple7) -> rule3) triple7) -> rule8) ((triple9) -> rule7)) -> rule9)) -> rule6) OR ((((((((triple9) -> rule1) ((triple9 triple7) -> rule3)) -> rule5) ((triple9) -> rule7)) -> rule9)) -> rule6) OR ((((((((triple9 triple7) -> rule3) ((triple9) -> rule1)) -> rule8) ((triple9) -> rule7)) -> rule9)) -> rule6) OR ((((((triple7 ((triple9 ((triple9) -> rule1)) -> rule3)) -> rule5) ((triple9) -> rule7)) -> rule9)) -> rule6) OR ((((((((triple9 ((triple9) -> rule1)) -> rule3) triple7) -> rule8) ((triple9) -> rule7)) -> rule9)) -> rule6) OR ((((((((triple9) -> rule1) ((triple9 ((triple9) -> rule1)) -> rule3)) -> rule5) ((triple9) -> rule7)) -> rule9)) -> rule6) OR ((((((((triple9 ((triple9) -> rule1)) -> rule3) ((triple9) -> rule1)) -> rule8) ((triple9) -> rule7)) -> rule9)) -> rule6))] Harry is young.[(((triple10 triple7) -> rule8) OR ((triple7 triple10) -> rule5) OR ((triple10 ((triple8) -> rule4)) -> rule8) OR ((triple10 ((triple9) -> rule1)) -> rule8) OR ((triple7 ((triple8) -> rule2)) -> rule5) OR ((triple7 ((triple9 triple7) -> rule3)) -> rule5) OR ((((triple8) -> rule2) triple7) -> rule8) OR ((((triple8) -> rule4) triple10) -> rule5) OR ((((triple9) -> rule1) triple10) -> rule5) OR ((((triple9 triple7) -> rule3) triple7) -> rule8) OR ((((triple8) -> rule2) ((triple8) -> rule4)) -> rule8) OR ((((triple8) -> rule2) ((triple9) -> rule1)) -> rule8) OR ((((triple8) -> rule4) ((triple8) -> rule2)) -> rule5) OR ((((triple8) -> rule4) ((triple9 triple7) -> rule3)) -> rule5) OR ((((triple9) -> rule1) ((triple8) -> rule2)) -> rule5) OR ((((triple9) -> rule1) ((triple9 triple7) -> rule3)) -> rule5) OR ((((triple9 triple7) -> rule3) ((triple8) -> rule4)) -> rule8) OR ((((triple9 triple7) -> rule3) ((triple9) -> rule1)) -> rule8) OR ((triple7 ((triple9 ((triple8) -> rule4)) -> rule3)) -> rule5) OR ((triple7 ((triple9 ((triple9) -> rule1)) -> rule3)) -> rule5) OR ((((triple9 ((triple8) -> rule4)) -> rule3) triple7) -> rule8) OR ((((triple9 ((triple9) -> rule1)) -> rule3) triple7) -> rule8) OR ((((triple8) -> rule4) ((triple9 ((triple8) -> rule4)) -> rule3)) -> rule5) OR ((((triple8) -> rule4) ((triple9 ((triple9) -> rule1)) -> rule3)) -> rule5) OR ((((triple9) -> rule1) ((triple9 ((triple8) -> rule4)) -> rule3)) -> rule5) OR ((((triple9) -> rule1) ((triple9 ((triple9) -> rule1)) -> rule3)) -> rule5) OR ((((triple9 ((triple8) -> rule4)) -> rule3) ((triple8) -> rule4)) -> rule8) OR ((((triple9 ((triple8) -> rule4)) -> rule3) ((triple9) -> rule1)) -> rule8) OR ((((triple9 ((triple9) -> rule1)) -> rule3) ((triple8) -> rule4)) -> rule8) OR ((((triple9 ((triple9) -> rule1)) -> rule3) ((triple9) -> rule1)) -> rule8))] @2: Charlie is red.[(((triple1 ((triple1) -> rule1)) -> rule3))] Gary is young.[(((triple6 ((triple5) -> rule4)) -> rule8) OR ((((triple5) -> rule4) triple6) -> rule5) OR ((((triple5) -> rule2) ((triple5) -> rule4)) -> rule8) OR ((((triple5) -> rule4) ((triple5) -> rule2)) -> rule5))] @3: Charlie is young.[(((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule5) OR ((((triple1 ((triple1) -> rule1)) -> rule3) ((triple1) -> rule1)) -> rule8))] @4: Charlie is furry.[(((((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule5) ((triple1) -> rule7)) -> rule9) OR ((((((triple1 ((triple1) -> rule1)) -> rule3) ((triple1) -> rule1)) -> rule8) ((triple1) -> rule7)) -> rule9))] @5: Charlie is white.[(((((((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule5) ((triple1) -> rule7)) -> rule9)) -> rule6) OR ((((((((triple1 ((triple1) -> rule1)) -> rule3) ((triple1) -> rule1)) -> rule8) ((triple1) -> rule7)) -> rule9)) -> rule6))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple6
((triple5) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple7
((triple8) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple9) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple8
((((triple10 triple7) -> (rule8 % int3)) ((triple9) -> (rule7 % int2))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple7 triple10) -> (rule5 % int3)) ((triple9) -> (rule7 % int2))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple10 ((triple9) -> (rule1 % int4))) -> (rule8 % int3)) ((triple9) -> (rule7 % int2))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple7 ((triple9 triple7) -> (rule3 % int4))) -> (rule5 % int3)) ((triple9) -> (rule7 % int2))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple9) -> (rule1 % int4)) triple10) -> (rule5 % int3)) ((triple9) -> (rule7 % int2))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple9 triple7) -> (rule3 % int4)) triple7) -> (rule8 % int3)) ((triple9) -> (rule7 % int2))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple9) -> (rule1 % int5)) ((triple9 triple7) -> (rule3 % int4))) -> (rule5 % int3)) ((triple9) -> (rule7 % int2))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple9 triple7) -> (rule3 % int5)) ((triple9) -> (rule1 % int4))) -> (rule8 % int3)) ((triple9) -> (rule7 % int2))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple7 ((triple9 ((triple9) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple9) -> (rule7 % int2))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple9 ((triple9) -> (rule1 % int5))) -> (rule3 % int4)) triple7) -> (rule8 % int3)) ((triple9) -> (rule7 % int2))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple9) -> (rule1 % int5)) ((triple9 ((triple9) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple9) -> (rule7 % int2))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple9 ((triple9) -> (rule1 % int5))) -> (rule3 % int4)) ((triple9) -> (rule1 % int5))) -> (rule8 % int3)) ((triple9) -> (rule7 % int2))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
((triple8) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple9 triple7) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple9 ((triple8) -> (rule4 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((triple9 ((triple9) -> (rule1 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((triple1) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple1) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple5) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple5) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple9) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple8) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((((triple10 triple7) -> (rule8 % int4)) ((triple9) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 triple10) -> (rule5 % int4)) ((triple9) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple10 ((triple9) -> (rule1 % int5))) -> (rule8 % int4)) ((triple9) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple7 ((triple9 triple7) -> (rule3 % int5))) -> (rule5 % int4)) ((triple9) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((((triple9) -> (rule1 % int5)) triple10) -> (rule5 % int4)) ((triple9) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple9 triple7) -> (rule3 % int5)) triple7) -> (rule8 % int4)) ((triple9) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((((triple9) -> (rule1 % int6)) ((triple9 triple7) -> (rule3 % int5))) -> (rule5 % int4)) ((triple9) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
int6
((((((((triple9 triple7) -> (rule3 % int6)) ((triple9) -> (rule1 % int5))) -> (rule8 % int4)) ((triple9) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple7 ((triple9 ((triple9) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) ((triple9) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
int6
((((((((triple9 ((triple9) -> (rule1 % int6))) -> (rule3 % int5)) triple7) -> (rule8 % int4)) ((triple9) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
int6
((((((((triple9) -> (rule1 % int6)) ((triple9 ((triple9) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) ((triple9) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
int6
((((((((triple9 ((triple9) -> (rule1 % int6))) -> (rule3 % int5)) ((triple9) -> (rule1 % int6))) -> (rule8 % int4)) ((triple9) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
int6
Harry is young.
("Harry" "is" "young" "+")
((triple10 triple7) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple7 triple10) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple10 ((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((triple10 ((triple9) -> (rule1 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((triple7 ((triple8) -> (rule2 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple7 ((triple9 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple8) -> (rule2 % int2)) triple7) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple8) -> (rule4 % int2)) triple10) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple9) -> (rule1 % int2)) triple10) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple9 triple7) -> (rule3 % int2)) triple7) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple8) -> (rule2 % int3)) ((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple8) -> (rule2 % int3)) ((triple9) -> (rule1 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple8) -> (rule4 % int3)) ((triple8) -> (rule2 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple8) -> (rule4 % int3)) ((triple9 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple9) -> (rule1 % int3)) ((triple8) -> (rule2 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple9) -> (rule1 % int3)) ((triple9 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple9 triple7) -> (rule3 % int3)) ((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple9 triple7) -> (rule3 % int3)) ((triple9) -> (rule1 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple7 ((triple9 ((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple7 ((triple9 ((triple9) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple9 ((triple8) -> (rule4 % int3))) -> (rule3 % int2)) triple7) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple9 ((triple9) -> (rule1 % int3))) -> (rule3 % int2)) triple7) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple8) -> (rule4 % int3)) ((triple9 ((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple8) -> (rule4 % int3)) ((triple9 ((triple9) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple9) -> (rule1 % int3)) ((triple9 ((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple9) -> (rule1 % int3)) ((triple9 ((triple9) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple9 ((triple8) -> (rule4 % int3))) -> (rule3 % int2)) ((triple8) -> (rule4 % int3))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple9 ((triple8) -> (rule4 % int3))) -> (rule3 % int2)) ((triple9) -> (rule1 % int3))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple9 ((triple9) -> (rule1 % int3))) -> (rule3 % int2)) ((triple8) -> (rule4 % int3))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple9 ((triple9) -> (rule1 % int3))) -> (rule3 % int2)) ((triple9) -> (rule1 % int3))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple6 ((triple5) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple5) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple5) -> (rule2 % int3)) ((triple5) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple5) -> (rule4 % int3)) ((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((((triple1) -> (rule1 % int3)) ((triple1 ((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple1 ((triple1) -> (rule1 % int3))) -> (rule3 % int2)) ((triple1) -> (rule1 % int3))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
((((((triple1) -> (rule1 % int5)) ((triple1 ((triple1) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple1) -> (rule7 % int2))) -> (rule9 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple1 ((triple1) -> (rule1 % int5))) -> (rule3 % int4)) ((triple1) -> (rule1 % int5))) -> (rule8 % int3)) ((triple1) -> (rule7 % int2))) -> (rule9 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
((((((((triple1) -> (rule1 % int6)) ((triple1 ((triple1) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) ((triple1) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
int6
((((((((triple1 ((triple1) -> (rule1 % int6))) -> (rule3 % int5)) ((triple1) -> (rule1 % int6))) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
int6