Bob is not round. Charlie is big. Gary is big. Gary is kind. Gary is red. Gary is not round. Harry is big. Kind, big things are white. If something is quiet then it is white. If something is young and red then it is kind. All white things are not round. Quiet, young things are big. All young things are red. If Bob is young and Bob is red then Bob is quiet. White, red things are quiet. All big things are young.
Bob is not round.
("Bob" "is" "round" "-")
Charlie is big.
("Charlie" "is" "big" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is not round.
("Gary" "is" "round" "-")
Harry is big.
("Harry" "is" "big" "+")
Kind, big things are white.
((("something" "is" "kind" "+") ("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
If something is quiet then it is white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
If something is young and red then it is kind.
((("something" "is" "young" "+") ("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
All white things are not round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "-"))
Quiet, young things are big.
((("something" "is" "quiet" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
All young things are red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If Bob is young and Bob is red then Bob is quiet.
((("Bob" "is" "young" "+") ("Bob" "is" "red" "+")) -> ("Bob" "is" "quiet" "+"))
White, red things are quiet.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
All big things are young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
Gary is kind.
True
1
proof
[(triple4 OR ((((triple3) -> rule9) triple5) -> rule3) OR ((((triple3) -> rule9) ((((triple3) -> rule9)) -> rule6)) -> rule3))]
("Gary" "is" "kind" "+")
triple4
((((triple3) -> (rule9 % int2)) triple5) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple3) -> (rule9 % int3)) ((((triple3) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not kind.
False
1
inv-proof
[(triple4 OR ((((triple3) -> rule9) triple5) -> rule3) OR ((((triple3) -> rule9) ((((triple3) -> rule9)) -> rule6)) -> rule3))]
("Gary" "is" "kind" "-")
triple4
((((triple3) -> (rule9 % int2)) triple5) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple3) -> (rule9 % int3)) ((((triple3) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is young.
True
2
proof
[(((triple3) -> rule9))]
("Gary" "is" "young" "+")
((triple3) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple3) -> rule9))]
("Gary" "is" "young" "-")
((triple3) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
True
5
proof
[(((((triple4 triple3) -> rule1) triple5) -> rule8) OR ((((triple4 triple3) -> rule1) ((((triple3) -> rule9)) -> rule6)) -> rule8) OR ((((((((triple3) -> rule9) triple5) -> rule3) triple3) -> rule1) triple5) -> rule8) OR ((((((((triple3) -> rule9) triple5) -> rule3) triple3) -> rule1) ((((triple3) -> rule9)) -> rule6)) -> rule8) OR ((((((((triple3) -> rule9) ((((triple3) -> rule9)) -> rule6)) -> rule3) triple3) -> rule1) triple5) -> rule8) OR ((((((((triple3) -> rule9) ((((triple3) -> rule9)) -> rule6)) -> rule3) triple3) -> rule1) ((((triple3) -> rule9)) -> rule6)) -> rule8))]
("Gary" "is" "quiet" "+")
((((triple4 triple3) -> (rule1 % int2)) triple5) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple4 triple3) -> (rule1 % int4)) ((((triple3) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((((triple3) -> (rule9 % int4)) triple5) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple5) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((((triple3) -> (rule9 % int5)) triple5) -> (rule3 % int4)) triple3) -> (rule1 % int3)) ((((triple3) -> (rule9 % int5))) -> (rule6 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((triple3) -> (rule9 % int5)) ((((triple3) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple5) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((triple3) -> (rule9 % int5)) ((((triple3) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) triple3) -> (rule1 % int2)) ((((triple3) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is not quiet.
False
5
inv-proof
[(((((triple4 triple3) -> rule1) triple5) -> rule8) OR ((((triple4 triple3) -> rule1) ((((triple3) -> rule9)) -> rule6)) -> rule8) OR ((((((((triple3) -> rule9) triple5) -> rule3) triple3) -> rule1) triple5) -> rule8) OR ((((((((triple3) -> rule9) triple5) -> rule3) triple3) -> rule1) ((((triple3) -> rule9)) -> rule6)) -> rule8) OR ((((((((triple3) -> rule9) ((((triple3) -> rule9)) -> rule6)) -> rule3) triple3) -> rule1) triple5) -> rule8) OR ((((((((triple3) -> rule9) ((((triple3) -> rule9)) -> rule6)) -> rule3) triple3) -> rule1) ((((triple3) -> rule9)) -> rule6)) -> rule8))]
("Gary" "is" "quiet" "-")
((((triple4 triple3) -> (rule1 % int2)) triple5) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple4 triple3) -> (rule1 % int4)) ((((triple3) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((((triple3) -> (rule9 % int4)) triple5) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple5) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((((triple3) -> (rule9 % int5)) triple5) -> (rule3 % int4)) triple3) -> (rule1 % int3)) ((((triple3) -> (rule9 % int5))) -> (rule6 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((triple3) -> (rule9 % int5)) ((((triple3) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple5) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((triple3) -> (rule9 % int5)) ((((triple3) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) triple3) -> (rule1 % int2)) ((((triple3) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Charlie is kind.
True
6
proof
[(((((triple2) -> rule9) ((((triple2) -> rule9)) -> rule6)) -> rule3))]
("Charlie" "is" "kind" "+")
((((triple2) -> (rule9 % int3)) ((((triple2) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Harry is not kind.
False
6
inv-proof
[(((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule3))]
("Harry" "is" "kind" "-")
((((triple7) -> (rule9 % int3)) ((((triple7) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Charlie is white.
True
8
proof
[(((((((triple2) -> rule9) ((((triple2) -> rule9)) -> rule6)) -> rule3) triple2) -> rule1))]
("Charlie" "is" "white" "+")
((((((triple2) -> (rule9 % int4)) ((((triple2) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is not white.
False
8
inv-proof
[(((((((triple2) -> rule9) ((((triple2) -> rule9)) -> rule6)) -> rule3) triple2) -> rule1))]
("Charlie" "is" "white" "-")
((((((triple2) -> (rule9 % int4)) ((((triple2) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Harry is not round.
True
9
proof
[(((((((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule3) triple7) -> rule1)) -> rule4))]
("Harry" "is" "round" "-")
((((((((triple7) -> (rule9 % int5)) ((((triple7) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) triple7) -> (rule1 % int2))) -> (rule4 % int1))
Harry is not round.
("Harry" "is" "round" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Harry is not quiet.
False
12
inv-proof
[(((((((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule3) triple7) -> rule1) ((((triple7) -> rule9)) -> rule6)) -> rule8))]
("Harry" "is" "quiet" "-")
((((((((triple7) -> (rule9 % int5)) ((((triple7) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) triple7) -> (rule1 % int2)) ((((triple7) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Bob is not big.
Unknown
inv-rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule5 <- rule9 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is red.
Unknown
rconc
[@3: Bob is red.[CWA. Example of deepest failure = (rule6 <- rule9 <- rule5 <- FAIL)]]
("Bob" "is" "red" "+")
Bob is not quiet.
Unknown
inv-rconc
[@4: Bob is quiet.[CWA. Example of deepest failure = (rule8 <- rule6 <- rule9 <- rule5 <- FAIL)]]
("Bob" "is" "quiet" "-")
Bob is white.
Unknown
rconc
[@5: Bob is white.[CWA. Example of deepest failure = (rule2 <- rule8 <- rule1 <- rule5 <- rule9 <- FAIL)]]
("Bob" "is" "white" "+")
Bob is not young.
Unknown
inv-rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule9 <- rule5 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is kind.
Unknown
rconc
[@3: Bob is kind.[CWA. Example of deepest failure = (rule3 <- rule9 <- rule5 <- FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is not round.[(triple1)] Charlie is big.[(triple2)] Gary is big.[(triple3)] Gary is kind.[(triple4 OR ((((triple3) -> rule9) triple5) -> rule3) OR ((((triple3) -> rule9) ((((triple3) -> rule9)) -> rule6)) -> rule3))] Gary is not round.[(triple6 OR ((((triple4 triple3) -> rule1)) -> rule4) OR ((((((((triple3) -> rule9) triple5) -> rule3) triple3) -> rule1)) -> rule4) OR ((((((((triple3) -> rule9) ((((triple3) -> rule9)) -> rule6)) -> rule3) triple3) -> rule1)) -> rule4))] Gary is red.[(triple5 OR ((((triple3) -> rule9)) -> rule6))] Harry is big.[(triple7)] @1: Charlie is young.[(((triple2) -> rule9))] Gary is white.[(((triple4 triple3) -> rule1) OR ((((((triple3) -> rule9) triple5) -> rule3) triple3) -> rule1) OR ((((((triple3) -> rule9) ((((triple3) -> rule9)) -> rule6)) -> rule3) triple3) -> rule1))] Gary is young.[(((triple3) -> rule9))] Harry is young.[(((triple7) -> rule9))] @2: Charlie is red.[(((((triple2) -> rule9)) -> rule6))] Gary is quiet.[(((((triple4 triple3) -> rule1) triple5) -> rule8) OR ((((triple4 triple3) -> rule1) ((((triple3) -> rule9)) -> rule6)) -> rule8) OR ((((((((triple3) -> rule9) triple5) -> rule3) triple3) -> rule1) triple5) -> rule8) OR ((((((((triple3) -> rule9) triple5) -> rule3) triple3) -> rule1) ((((triple3) -> rule9)) -> rule6)) -> rule8) OR ((((((((triple3) -> rule9) ((((triple3) -> rule9)) -> rule6)) -> rule3) triple3) -> rule1) triple5) -> rule8) OR ((((((((triple3) -> rule9) ((((triple3) -> rule9)) -> rule6)) -> rule3) triple3) -> rule1) ((((triple3) -> rule9)) -> rule6)) -> rule8))] Harry is red.[(((((triple7) -> rule9)) -> rule6))] @3: Charlie is kind.[(((((triple2) -> rule9) ((((triple2) -> rule9)) -> rule6)) -> rule3))] Harry is kind.[(((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule3))] @4: Charlie is white.[(((((((triple2) -> rule9) ((((triple2) -> rule9)) -> rule6)) -> rule3) triple2) -> rule1))] Harry is white.[(((((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule3) triple7) -> rule1))] @5: Charlie is not round.[(((((((((triple2) -> rule9) ((((triple2) -> rule9)) -> rule6)) -> rule3) triple2) -> rule1)) -> rule4))] Charlie is quiet.[(((((((((triple2) -> rule9) ((((triple2) -> rule9)) -> rule6)) -> rule3) triple2) -> rule1) ((((triple2) -> rule9)) -> rule6)) -> rule8))] Harry is not round.[(((((((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule3) triple7) -> rule1)) -> rule4))] Harry is quiet.[(((((((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule3) triple7) -> rule1) ((((triple7) -> rule9)) -> rule6)) -> rule8))]
Bob is not round.
("Bob" "is" "round" "-")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple4
((((triple3) -> (rule9 % int2)) triple5) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple3) -> (rule9 % int3)) ((((triple3) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not round.
("Gary" "is" "round" "-")
triple6
((((triple4 triple3) -> (rule1 % int2))) -> (rule4 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((((((triple3) -> (rule9 % int4)) triple5) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule4 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((((triple3) -> (rule9 % int5)) ((((triple3) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule4 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
triple5
((((triple3) -> (rule9 % int2))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
((triple2) -> (rule9 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple4 triple3) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((((triple3) -> (rule9 % int3)) triple5) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple3) -> (rule9 % int4)) ((((triple3) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
((triple3) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple7) -> (rule9 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((((triple2) -> (rule9 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
((((triple4 triple3) -> (rule1 % int2)) triple5) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple4 triple3) -> (rule1 % int4)) ((((triple3) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((((triple3) -> (rule9 % int4)) triple5) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple5) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((((triple3) -> (rule9 % int5)) triple5) -> (rule3 % int4)) triple3) -> (rule1 % int3)) ((((triple3) -> (rule9 % int5))) -> (rule6 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((triple3) -> (rule9 % int5)) ((((triple3) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple5) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((triple3) -> (rule9 % int5)) ((((triple3) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) triple3) -> (rule1 % int2)) ((((triple3) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
((((triple7) -> (rule9 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple2) -> (rule9 % int3)) ((((triple2) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((((triple7) -> (rule9 % int3)) ((((triple7) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
((((((triple2) -> (rule9 % int4)) ((((triple2) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
((((((triple7) -> (rule9 % int4)) ((((triple7) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Charlie is not round.
("Charlie" "is" "round" "-")
((((((((triple2) -> (rule9 % int5)) ((((triple2) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) triple2) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is not round.
("Charlie" "is" "round" "-")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((((((triple2) -> (rule9 % int5)) ((((triple2) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) triple2) -> (rule1 % int2)) ((((triple2) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Harry is not round.
("Harry" "is" "round" "-")
((((((((triple7) -> (rule9 % int5)) ((((triple7) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) triple7) -> (rule1 % int2))) -> (rule4 % int1))
Harry is not round.
("Harry" "is" "round" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
((((((((triple7) -> (rule9 % int5)) ((((triple7) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) triple7) -> (rule1 % int2)) ((((triple7) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5