Charlie is cold. Charlie is kind. Charlie is rough. Charlie is round. Charlie is white. Gary is round. Gary is white. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. Harry is round. All rough people are white. Furry people are rough. All white, round people are cold. All cold, rough people are white. All furry people are quiet. If Gary is cold and Gary is round then Gary is furry. White, rough people are round. All kind, quiet people are white.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
All rough people are white.
((("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
Furry people are rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
All white, round people are cold.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
All cold, rough people are white.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
All furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If Gary is cold and Gary is round then Gary is furry.
((("Gary" "is" "cold" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "furry" "+"))
White, rough people are round.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
All kind, quiet people are white.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
Harry is furry.
True
1
proof
[(triple8)]
("Harry" "is" "furry" "+")
triple8
Harry is not furry.
False
1
inv-proof
[(triple8)]
("Harry" "is" "furry" "-")
triple8
Gary is cold.
True
3
proof
[(((triple7 triple6) -> rule3))]
("Gary" "is" "cold" "+")
((triple7 triple6) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
3
inv-proof
[(((triple7 triple6) -> rule3))]
("Gary" "is" "cold" "-")
((triple7 triple6) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
True
5
proof
[(((((triple7 triple6) -> rule3) triple6) -> rule6))]
("Gary" "is" "furry" "+")
((((triple7 triple6) -> (rule3 % int2)) triple6) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not furry.
False
5
inv-proof
[(((((triple7 triple6) -> rule3) triple6) -> rule6))]
("Gary" "is" "furry" "-")
((((triple7 triple6) -> (rule3 % int2)) triple6) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is quiet.
True
6
proof
[(((((((triple7 triple6) -> rule3) triple6) -> rule6)) -> rule5))]
("Gary" "is" "quiet" "+")
((((((triple7 triple6) -> (rule3 % int3)) triple6) -> (rule6 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not quiet.
False
6
inv-proof
[(((((((triple7 triple6) -> rule3) triple6) -> rule6)) -> rule5))]
("Gary" "is" "quiet" "-")
((((((triple7 triple6) -> (rule3 % int3)) triple6) -> (rule6 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Charlie is not quiet.
Unknown
inv-rconc
[@1: Charlie is quiet.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Charlie is cold.[(triple1 OR ((triple5 triple4) -> rule3) OR ((triple5 ((triple5 triple3) -> rule7)) -> rule3) OR ((((triple3) -> rule1) triple4) -> rule3) OR ((((triple3) -> rule1) ((triple5 triple3) -> rule7)) -> rule3) OR ((triple5 ((((triple3) -> rule1) triple3) -> rule7)) -> rule3) OR ((((triple3) -> rule1) ((((triple3) -> rule1) triple3) -> rule7)) -> rule3))] Charlie is kind.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4 OR ((triple5 triple3) -> rule7) OR ((((triple3) -> rule1) triple3) -> rule7) OR ((((triple1 triple3) -> rule4) triple3) -> rule7))] Charlie is white.[(triple5 OR ((triple3) -> rule1) OR ((triple1 triple3) -> rule4))] Gary is round.[(triple6)] Gary is white.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10 OR ((triple8) -> rule5))] Harry is rough.[(triple11 OR ((triple8) -> rule2))] Harry is round.[(triple12 OR ((((triple11) -> rule1) triple11) -> rule7) OR ((((triple9 triple10) -> rule8) triple11) -> rule7) OR ((((triple11) -> rule1) ((triple8) -> rule2)) -> rule7) OR ((((triple9 triple10) -> rule8) ((triple8) -> rule2)) -> rule7) OR ((((((triple8) -> rule2)) -> rule1) triple11) -> rule7) OR ((((triple9 ((triple8) -> rule5)) -> rule8) triple11) -> rule7) OR ((((((triple8) -> rule2)) -> rule1) ((triple8) -> rule2)) -> rule7) OR ((((triple9 ((triple8) -> rule5)) -> rule8) ((triple8) -> rule2)) -> rule7))] @1: Gary is cold.[(((triple7 triple6) -> rule3))] Harry is white.[(((triple11) -> rule1) OR ((triple9 triple10) -> rule8) OR ((((triple8) -> rule2)) -> rule1) OR ((triple9 ((triple8) -> rule5)) -> rule8))] @2: Gary is furry.[(((((triple7 triple6) -> rule3) triple6) -> rule6))] Harry is cold.[(((((triple11) -> rule1) triple12) -> rule3) OR ((((triple9 triple10) -> rule8) triple12) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) triple12) -> rule3) OR ((((triple9 ((triple8) -> rule5)) -> rule8) triple12) -> rule3) OR ((((triple11) -> rule1) ((((triple11) -> rule1) triple11) -> rule7)) -> rule3) OR ((((triple11) -> rule1) ((((triple9 triple10) -> rule8) triple11) -> rule7)) -> rule3) OR ((((triple9 triple10) -> rule8) ((((triple11) -> rule1) triple11) -> rule7)) -> rule3) OR ((((triple9 triple10) -> rule8) ((((triple9 triple10) -> rule8) triple11) -> rule7)) -> rule3) OR ((((triple11) -> rule1) ((((triple11) -> rule1) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple11) -> rule1) ((((triple9 triple10) -> rule8) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) ((((triple11) -> rule1) triple11) -> rule7)) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) ((((triple9 triple10) -> rule8) triple11) -> rule7)) -> rule3) OR ((((triple9 triple10) -> rule8) ((((triple11) -> rule1) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple9 triple10) -> rule8) ((((triple9 triple10) -> rule8) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple9 ((triple8) -> rule5)) -> rule8) ((((triple11) -> rule1) triple11) -> rule7)) -> rule3) OR ((((triple9 ((triple8) -> rule5)) -> rule8) ((((triple9 triple10) -> rule8) triple11) -> rule7)) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) ((((triple11) -> rule1) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) ((((triple9 triple10) -> rule8) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple9 ((triple8) -> rule5)) -> rule8) ((((triple11) -> rule1) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple9 ((triple8) -> rule5)) -> rule8) ((((triple9 triple10) -> rule8) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple11) -> rule1) ((((((triple8) -> rule2)) -> rule1) triple11) -> rule7)) -> rule3) OR ((((triple11) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule8) triple11) -> rule7)) -> rule3) OR ((((triple9 triple10) -> rule8) ((((((triple8) -> rule2)) -> rule1) triple11) -> rule7)) -> rule3) OR ((((triple9 triple10) -> rule8) ((((triple9 ((triple8) -> rule5)) -> rule8) triple11) -> rule7)) -> rule3) OR ((((triple11) -> rule1) ((((((triple8) -> rule2)) -> rule1) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple11) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule8) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) ((((((triple8) -> rule2)) -> rule1) triple11) -> rule7)) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule8) triple11) -> rule7)) -> rule3) OR ((((triple9 triple10) -> rule8) ((((((triple8) -> rule2)) -> rule1) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple9 triple10) -> rule8) ((((triple9 ((triple8) -> rule5)) -> rule8) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple9 ((triple8) -> rule5)) -> rule8) ((((((triple8) -> rule2)) -> rule1) triple11) -> rule7)) -> rule3) OR ((((triple9 ((triple8) -> rule5)) -> rule8) ((((triple9 ((triple8) -> rule5)) -> rule8) triple11) -> rule7)) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) ((((((triple8) -> rule2)) -> rule1) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule8) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple9 ((triple8) -> rule5)) -> rule8) ((((((triple8) -> rule2)) -> rule1) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple9 ((triple8) -> rule5)) -> rule8) ((((triple9 ((triple8) -> rule5)) -> rule8) ((triple8) -> rule2)) -> rule7)) -> rule3))] @3: Gary is quiet.[(((((((triple7 triple6) -> rule3) triple6) -> rule6)) -> rule5))] Gary is rough.[(((((((triple7 triple6) -> rule3) triple6) -> rule6)) -> rule2))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
((triple5 triple4) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple5 ((triple5 triple3) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple3) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple3) -> (rule1 % int3)) ((triple5 triple3) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((triple5 ((((triple3) -> (rule1 % int3)) triple3) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((triple3) -> (rule1 % int3)) ((((triple3) -> (rule1 % int3)) triple3) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
((triple5 triple3) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple3) -> (rule1 % int2)) triple3) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple1 triple3) -> (rule4 % int2)) triple3) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
triple5
((triple3) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((triple1 triple3) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
((triple8) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple11
((triple8) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple12
((((triple11) -> (rule1 % int2)) triple11) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple9 triple10) -> (rule8 % int2)) triple11) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple11) -> (rule1 % int3)) ((triple8) -> (rule2 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple9 triple10) -> (rule8 % int3)) ((triple8) -> (rule2 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple8) -> (rule2 % int3))) -> (rule1 % int2)) triple11) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple9 ((triple8) -> (rule5 % int3))) -> (rule8 % int2)) triple11) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((((triple8) -> (rule2 % int3))) -> (rule1 % int2)) ((triple8) -> (rule2 % int3))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple9 ((triple8) -> (rule5 % int4))) -> (rule8 % int3)) ((triple8) -> (rule2 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
((triple7 triple6) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple11) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple9 triple10) -> (rule8 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((triple9 ((triple8) -> (rule5 % int2))) -> (rule8 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((((triple7 triple6) -> (rule3 % int2)) triple6) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((triple11) -> (rule1 % int2)) triple12) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple9 triple10) -> (rule8 % int2)) triple12) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((((triple8) -> (rule2 % int3))) -> (rule1 % int2)) triple12) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple9 ((triple8) -> (rule5 % int3))) -> (rule8 % int2)) triple12) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple11) -> (rule1 % int3)) ((((triple11) -> (rule1 % int3)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple11) -> (rule1 % int3)) ((((triple9 triple10) -> (rule8 % int3)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple9 triple10) -> (rule8 % int3)) ((((triple11) -> (rule1 % int3)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple9 triple10) -> (rule8 % int3)) ((((triple9 triple10) -> (rule8 % int3)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple11) -> (rule1 % int4)) ((((triple11) -> (rule1 % int4)) ((triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple11) -> (rule1 % int4)) ((((triple9 triple10) -> (rule8 % int4)) ((triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple8) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule1 % int3)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple8) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple9 triple10) -> (rule8 % int3)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple9 triple10) -> (rule8 % int4)) ((((triple11) -> (rule1 % int4)) ((triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple9 triple10) -> (rule8 % int4)) ((((triple9 triple10) -> (rule8 % int4)) ((triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple9 ((triple8) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple11) -> (rule1 % int3)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((triple9 ((triple8) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple9 triple10) -> (rule8 % int3)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((triple8) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule1 % int3)) ((triple8) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple8) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple9 triple10) -> (rule8 % int3)) ((triple8) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple9 ((triple8) -> (rule5 % int5))) -> (rule8 % int4)) ((((triple11) -> (rule1 % int4)) ((triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((triple9 ((triple8) -> (rule5 % int5))) -> (rule8 % int4)) ((((triple9 triple10) -> (rule8 % int4)) ((triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((triple11) -> (rule1 % int4)) ((((((triple8) -> (rule2 % int3))) -> (rule1 % int4)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple11) -> (rule1 % int4)) ((((triple9 ((triple8) -> (rule5 % int3))) -> (rule8 % int4)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple9 triple10) -> (rule8 % int4)) ((((((triple8) -> (rule2 % int3))) -> (rule1 % int4)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple9 triple10) -> (rule8 % int4)) ((((triple9 ((triple8) -> (rule5 % int3))) -> (rule8 % int4)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple11) -> (rule1 % int4)) ((((((triple8) -> (rule2 % int3))) -> (rule1 % int4)) ((triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple11) -> (rule1 % int5)) ((((triple9 ((triple8) -> (rule5 % int4))) -> (rule8 % int5)) ((triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple8) -> (rule2 % int4))) -> (rule1 % int3)) ((((((triple8) -> (rule2 % int4))) -> (rule1 % int3)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple8) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple9 ((triple8) -> (rule5 % int3))) -> (rule8 % int4)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((triple9 triple10) -> (rule8 % int4)) ((((((triple8) -> (rule2 % int3))) -> (rule1 % int4)) ((triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple9 triple10) -> (rule8 % int5)) ((((triple9 ((triple8) -> (rule5 % int4))) -> (rule8 % int5)) ((triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple9 ((triple8) -> (rule5 % int5))) -> (rule8 % int4)) ((((((triple8) -> (rule2 % int3))) -> (rule1 % int4)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((triple9 ((triple8) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple9 ((triple8) -> (rule5 % int4))) -> (rule8 % int3)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((triple8) -> (rule2 % int4))) -> (rule1 % int3)) ((((((triple8) -> (rule2 % int4))) -> (rule1 % int3)) ((triple8) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple8) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple9 ((triple8) -> (rule5 % int3))) -> (rule8 % int4)) ((triple8) -> (rule2 % int5))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((triple9 ((triple8) -> (rule5 % int5))) -> (rule8 % int4)) ((((((triple8) -> (rule2 % int3))) -> (rule1 % int4)) ((triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((triple9 ((triple8) -> (rule5 % int5))) -> (rule8 % int4)) ((((triple9 ((triple8) -> (rule5 % int5))) -> (rule8 % int4)) ((triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Gary is quiet.
("Gary" "is" "quiet" "+")
((((((triple7 triple6) -> (rule3 % int3)) triple6) -> (rule6 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple7 triple6) -> (rule3 % int3)) triple6) -> (rule6 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3