Anne is rough. Anne is round. Anne is young. Bob is cold. Bob is kind. Bob is red. Bob is rough. Bob is white. Bob is young. Gary is cold. Gary is red. Gary is young. White things are rough. Round, young things are kind. Red things are white. If something is white and red then it is round. If something is cold then it is young. If something is kind and red then it is rough. If Anne is young then Anne is round. All young, cold things are red.
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
White things are rough.
((("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
Round, young things are kind.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
Red things are white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
If something is white and red then it is round.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If something is cold then it is young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If something is kind and red then it is rough.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If Anne is young then Anne is round.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "round" "+"))
All young, cold things are red.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
Bob is red.
True
1
proof
[(triple6 OR ((triple9 triple4) -> rule8) OR ((((triple4) -> rule5) triple4) -> rule8))]
("Bob" "is" "red" "+")
triple6
((triple9 triple4) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple4) -> (rule5 % int2)) triple4) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Gary is not young.
False
1
inv-proof
[(triple12 OR ((triple10) -> rule5))]
("Gary" "is" "young" "-")
triple12
((triple10) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
True
2
proof
[(((triple11) -> rule3) OR ((((triple12 triple10) -> rule8)) -> rule3) OR ((((((triple10) -> rule5) triple10) -> rule8)) -> rule3))]
("Gary" "is" "white" "+")
((triple11) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple12 triple10) -> (rule8 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not white.
False
2
inv-proof
[(((triple11) -> rule3) OR ((((triple12 triple10) -> rule8)) -> rule3) OR ((((((triple10) -> rule5) triple10) -> rule8)) -> rule3))]
("Gary" "is" "white" "-")
((triple11) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple12 triple10) -> (rule8 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is rough.
True
3
proof
[(((((triple11) -> rule3)) -> rule1) OR ((((((triple12 triple10) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple11) -> rule3) triple11) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6))]
("Gary" "is" "rough" "+")
((((triple11) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((((triple12 triple10) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((((triple11) -> (rule3 % int4)) triple11) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((((triple11) -> (rule3 % int5)) triple11) -> (rule4 % int4)) triple12) -> (rule2 % int3)) ((triple12 triple10) -> (rule8 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple11) -> (rule3 % int5)) triple11) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple11) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple11) -> (rule3 % int6)) triple11) -> (rule4 % int5)) triple12) -> (rule2 % int4)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) triple11) -> (rule4 % int5)) ((triple10) -> (rule5 % int4))) -> (rule2 % int3)) ((triple12 triple10) -> (rule8 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int4))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple11) -> (rule3 % int6)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) triple11) -> (rule4 % int5)) ((triple10) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int4)) triple12) -> (rule2 % int3)) ((((triple10) -> (rule5 % int2)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple11) -> (rule3 % int6)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) triple11) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple11) -> (rule3 % int6)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int4))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int3)) ((triple10) -> (rule5 % int5))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) triple11) -> (rule4 % int4)) triple12) -> (rule2 % int3)) ((((triple10) -> (rule5 % int2)) triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) triple11) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int6))) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int3)) ((triple10) -> (rule5 % int5))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int4))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) triple11) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int6))) -> (rule4 % int4)) triple12) -> (rule2 % int3)) ((((triple10) -> (rule5 % int2)) triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int6))) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule4 % int3)) ((triple10) -> (rule5 % int4))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int3)) ((triple10) -> (rule5 % int5))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int6))) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule4 % int3)) ((triple10) -> (rule5 % int4))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule4 % int3)) ((triple10) -> (rule5 % int4))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
Gary is not rough.
False
3
inv-proof
[(((((triple11) -> rule3)) -> rule1) OR ((((((triple12 triple10) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple11) -> rule3) triple11) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6))]
("Gary" "is" "rough" "-")
((((triple11) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((((triple12 triple10) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((((triple11) -> (rule3 % int4)) triple11) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((((triple11) -> (rule3 % int5)) triple11) -> (rule4 % int4)) triple12) -> (rule2 % int3)) ((triple12 triple10) -> (rule8 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple11) -> (rule3 % int5)) triple11) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple11) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple11) -> (rule3 % int6)) triple11) -> (rule4 % int5)) triple12) -> (rule2 % int4)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) triple11) -> (rule4 % int5)) ((triple10) -> (rule5 % int4))) -> (rule2 % int3)) ((triple12 triple10) -> (rule8 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int4))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple11) -> (rule3 % int6)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) triple11) -> (rule4 % int5)) ((triple10) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int4)) triple12) -> (rule2 % int3)) ((((triple10) -> (rule5 % int2)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple11) -> (rule3 % int6)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) triple11) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple11) -> (rule3 % int6)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int4))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int3)) ((triple10) -> (rule5 % int5))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) triple11) -> (rule4 % int4)) triple12) -> (rule2 % int3)) ((((triple10) -> (rule5 % int2)) triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) triple11) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int6))) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int3)) ((triple10) -> (rule5 % int5))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int4))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) triple11) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int6))) -> (rule4 % int4)) triple12) -> (rule2 % int3)) ((((triple10) -> (rule5 % int2)) triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int6))) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule4 % int3)) ((triple10) -> (rule5 % int4))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int3)) ((triple10) -> (rule5 % int5))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int6))) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule4 % int3)) ((triple10) -> (rule5 % int4))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule4 % int3)) ((triple10) -> (rule5 % int4))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
Gary is kind.
True
6
proof
[(((((((triple11) -> rule3) triple11) -> rule4) triple12) -> rule2) OR ((((((triple11) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) OR ((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2))]
("Gary" "is" "kind" "+")
((((((triple11) -> (rule3 % int3)) triple11) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((((triple11) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple10) -> (rule5 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple11) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int3))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple11) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int4))) -> (rule4 % int3)) ((triple10) -> (rule5 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple12 triple10) -> (rule8 % int4))) -> (rule3 % int3)) triple11) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple11) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int3))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple10) -> (rule5 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple12 triple10) -> (rule8 % int4))) -> (rule3 % int3)) ((triple12 triple10) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple11) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int3))) -> (rule4 % int2)) ((triple10) -> (rule5 % int4))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int5))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int5))) -> (rule4 % int2)) ((triple10) -> (rule5 % int3))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule3 % int3)) triple11) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule3 % int3)) triple11) -> (rule4 % int2)) ((triple10) -> (rule5 % int5))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule3 % int3)) ((triple12 triple10) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule3 % int3)) ((triple12 triple10) -> (rule8 % int4))) -> (rule4 % int2)) ((triple10) -> (rule5 % int5))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int2)) ((triple10) -> (rule5 % int5))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is not kind.
False
6
inv-proof
[(((((((triple11) -> rule3) triple11) -> rule4) triple12) -> rule2) OR ((((((triple11) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) OR ((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2))]
("Gary" "is" "kind" "-")
((((((triple11) -> (rule3 % int3)) triple11) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((((triple11) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple10) -> (rule5 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple11) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int3))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple11) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int4))) -> (rule4 % int3)) ((triple10) -> (rule5 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple12 triple10) -> (rule8 % int4))) -> (rule3 % int3)) triple11) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple11) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int3))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple10) -> (rule5 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple12 triple10) -> (rule8 % int4))) -> (rule3 % int3)) ((triple12 triple10) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple11) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int3))) -> (rule4 % int2)) ((triple10) -> (rule5 % int4))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int5))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int5))) -> (rule4 % int2)) ((triple10) -> (rule5 % int3))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule3 % int3)) triple11) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule3 % int3)) triple11) -> (rule4 % int2)) ((triple10) -> (rule5 % int5))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule3 % int3)) ((triple12 triple10) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule3 % int3)) ((triple12 triple10) -> (rule8 % int4))) -> (rule4 % int2)) ((triple10) -> (rule5 % int5))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int2)) ((triple10) -> (rule5 % int5))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Anne is not white.
Unknown
inv-rconc
[@2: Anne is white.[CWA. Example of deepest failure = (rule3 <- rule8 <- FAIL)]]
("Anne" "is" "white" "-")
Anne is red.
Unknown
rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is rough.[(triple1)] Anne is round.[(triple2 OR ((triple3) -> rule7))] Anne is young.[(triple3)] Bob is cold.[(triple4)] Bob is kind.[(triple5 OR ((((triple8 triple6) -> rule4) triple9) -> rule2) OR ((((triple8 triple6) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((triple8 ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) OR ((((((triple6) -> rule3) triple6) -> rule4) triple9) -> rule2) OR ((((triple8 ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((((triple6) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((((triple6) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) OR ((((((triple6) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((triple8 ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) OR ((((((((triple9 triple4) -> rule8)) -> rule3) triple6) -> rule4) triple9) -> rule2) OR ((((triple8 ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((((triple6) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) OR ((((((((triple9 triple4) -> rule8)) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((((((triple9 triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) OR ((((((triple6) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((((((triple9 triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((((((triple9 triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) OR ((((((((triple9 triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) triple6) -> rule4) triple9) -> rule2) OR ((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) OR ((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) OR ((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2))] Bob is red.[(triple6 OR ((triple9 triple4) -> rule8) OR ((((triple4) -> rule5) triple4) -> rule8))] Bob is rough.[(triple7 OR ((triple8) -> rule1) OR ((triple5 triple6) -> rule6) OR ((((triple6) -> rule3)) -> rule1) OR ((triple5 ((triple9 triple4) -> rule8)) -> rule6) OR ((((((triple9 triple4) -> rule8)) -> rule3)) -> rule1) OR ((triple5 ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((triple8 triple6) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((triple8 triple6) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((triple8 triple6) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((triple8 triple6) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((triple8 triple6) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((triple8 triple6) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3)) -> rule1) OR ((((((triple8 ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((((triple6) -> rule3) triple6) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((triple8 ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((triple8 ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((triple6) -> rule3) triple6) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((triple6) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((triple8 ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((triple8 ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) triple6) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((triple8 ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((triple8 ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) triple6) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((triple8 ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((triple8 ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((triple6) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) triple6) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((triple8 ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((triple8 ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) triple6) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((triple8 ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((triple6) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) triple6) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) triple6) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) triple6) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6))] Bob is white.[(triple8 OR ((triple6) -> rule3) OR ((((triple9 triple4) -> rule8)) -> rule3) OR ((((((triple4) -> rule5) triple4) -> rule8)) -> rule3))] Bob is young.[(triple9 OR ((triple4) -> rule5))] Gary is cold.[(triple10)] Gary is red.[(triple11 OR ((triple12 triple10) -> rule8) OR ((((triple10) -> rule5) triple10) -> rule8))] Gary is young.[(triple12 OR ((triple10) -> rule5))] @1: Anne is kind.[(((triple2 triple3) -> rule2) OR ((((triple3) -> rule7) triple3) -> rule2))] Bob is round.[(((triple8 triple6) -> rule4) OR ((triple8 ((triple9 triple4) -> rule8)) -> rule4) OR ((((triple6) -> rule3) triple6) -> rule4) OR ((((triple6) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) OR ((triple8 ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) OR ((((((triple9 triple4) -> rule8)) -> rule3) triple6) -> rule4) OR ((((triple6) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) OR ((((((triple9 triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) OR ((((((triple9 triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) OR ((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) triple6) -> rule4) OR ((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) OR ((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4))] Gary is white.[(((triple11) -> rule3) OR ((((triple12 triple10) -> rule8)) -> rule3) OR ((((((triple10) -> rule5) triple10) -> rule8)) -> rule3))] @2: Gary is rough.[(((((triple11) -> rule3)) -> rule1) OR ((((((triple12 triple10) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple11) -> rule3) triple11) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6))] Gary is round.[(((((triple11) -> rule3) triple11) -> rule4) OR ((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) OR ((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) OR ((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) OR ((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) OR ((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) OR ((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) OR ((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) OR ((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4))] @3: Gary is kind.[(((((((triple11) -> rule3) triple11) -> rule4) triple12) -> rule2) OR ((((((triple11) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) OR ((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
((triple3) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple5
((((triple8 triple6) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple8 triple6) -> (rule4 % int3)) ((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple8 ((triple9 triple4) -> (rule8 % int3))) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple6) -> (rule3 % int3)) triple6) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((triple8 ((triple9 triple4) -> (rule8 % int4))) -> (rule4 % int3)) ((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple6) -> (rule3 % int4)) triple6) -> (rule4 % int3)) ((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((triple6) -> (rule3 % int4)) ((triple9 triple4) -> (rule8 % int3))) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((triple6) -> (rule3 % int5)) ((triple9 triple4) -> (rule8 % int4))) -> (rule4 % int3)) ((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((triple8 ((((triple4) -> (rule5 % int4)) triple4) -> (rule8 % int3))) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple9 triple4) -> (rule8 % int4))) -> (rule3 % int3)) triple6) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple8 ((((triple4) -> (rule5 % int4)) triple4) -> (rule8 % int3))) -> (rule4 % int2)) ((triple4) -> (rule5 % int4))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple6) -> (rule3 % int5)) ((((triple4) -> (rule5 % int4)) triple4) -> (rule8 % int3))) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((triple9 triple4) -> (rule8 % int5))) -> (rule3 % int4)) triple6) -> (rule4 % int3)) ((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((triple9 triple4) -> (rule8 % int4))) -> (rule3 % int3)) ((triple9 triple4) -> (rule8 % int4))) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple6) -> (rule3 % int5)) ((((triple4) -> (rule5 % int4)) triple4) -> (rule8 % int3))) -> (rule4 % int2)) ((triple4) -> (rule5 % int4))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((triple9 triple4) -> (rule8 % int5))) -> (rule3 % int4)) ((triple9 triple4) -> (rule8 % int5))) -> (rule4 % int3)) ((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((triple9 triple4) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple4) -> (rule5 % int3)) triple4) -> (rule8 % int5))) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((triple9 triple4) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple4) -> (rule5 % int3)) triple4) -> (rule8 % int5))) -> (rule4 % int2)) ((triple4) -> (rule5 % int3))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule3 % int3)) triple6) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule3 % int3)) triple6) -> (rule4 % int2)) ((triple4) -> (rule5 % int5))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule3 % int3)) ((triple9 triple4) -> (rule8 % int4))) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule3 % int3)) ((triple9 triple4) -> (rule8 % int4))) -> (rule4 % int2)) ((triple4) -> (rule5 % int5))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule4 % int2)) ((triple4) -> (rule5 % int5))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
triple6
((triple9 triple4) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple4) -> (rule5 % int2)) triple4) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
triple7
((triple8) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple5 triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((triple5 ((triple9 triple4) -> (rule8 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((((triple9 triple4) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((triple5 ((((triple4) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple8 triple6) -> (rule4 % int3)) triple9) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple8 triple6) -> (rule4 % int4)) triple9) -> (rule2 % int3)) ((triple9 triple4) -> (rule8 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple8 triple6) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple8 triple6) -> (rule4 % int5)) triple9) -> (rule2 % int4)) ((((triple4) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple8 triple6) -> (rule4 % int5)) ((triple4) -> (rule5 % int4))) -> (rule2 % int3)) ((triple9 triple4) -> (rule8 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple8 triple6) -> (rule4 % int5)) ((triple4) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple4) -> (rule5 % int4)) triple4) -> (rule8 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((triple4) -> (rule5 % int4)) triple4) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple8 ((triple9 triple4) -> (rule8 % int4))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple6) -> (rule3 % int4)) triple6) -> (rule4 % int3)) triple9) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((triple8 ((triple9 triple4) -> (rule8 % int4))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int4))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple8 ((triple9 triple4) -> (rule8 % int5))) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((triple6) -> (rule3 % int5)) triple6) -> (rule4 % int4)) triple9) -> (rule2 % int3)) ((triple9 triple4) -> (rule8 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((triple6) -> (rule3 % int5)) triple6) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((triple6) -> (rule3 % int5)) ((triple9 triple4) -> (rule8 % int4))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((triple8 ((triple9 triple4) -> (rule8 % int5))) -> (rule4 % int4)) triple9) -> (rule2 % int3)) ((((triple4) -> (rule5 % int2)) triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple8 ((triple9 triple4) -> (rule8 % int5))) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((triple6) -> (rule3 % int6)) triple6) -> (rule4 % int5)) triple9) -> (rule2 % int4)) ((((triple4) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((triple6) -> (rule3 % int6)) triple6) -> (rule4 % int5)) ((triple4) -> (rule5 % int4))) -> (rule2 % int3)) ((triple9 triple4) -> (rule8 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((triple6) -> (rule3 % int5)) ((triple9 triple4) -> (rule8 % int4))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int4))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((triple6) -> (rule3 % int6)) ((triple9 triple4) -> (rule8 % int5))) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((triple8 ((triple9 triple4) -> (rule8 % int5))) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple4) -> (rule5 % int3)) triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((triple6) -> (rule3 % int6)) triple6) -> (rule4 % int5)) ((triple4) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple4) -> (rule5 % int4)) triple4) -> (rule8 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((triple6) -> (rule3 % int6)) ((triple9 triple4) -> (rule8 % int5))) -> (rule4 % int4)) triple9) -> (rule2 % int3)) ((((triple4) -> (rule5 % int2)) triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((triple6) -> (rule3 % int6)) ((triple9 triple4) -> (rule8 % int5))) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((triple6) -> (rule3 % int6)) ((triple9 triple4) -> (rule8 % int5))) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple4) -> (rule5 % int3)) triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((triple8 ((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((((triple9 triple4) -> (rule8 % int5))) -> (rule3 % int4)) triple6) -> (rule4 % int3)) triple9) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple8 ((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int4))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple8 ((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule4 % int3)) ((triple4) -> (rule5 % int5))) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple6) -> (rule3 % int6)) ((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((((triple9 triple4) -> (rule8 % int5))) -> (rule3 % int4)) triple6) -> (rule4 % int3)) triple9) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((((triple9 triple4) -> (rule8 % int6))) -> (rule3 % int5)) triple6) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((triple9 triple4) -> (rule8 % int5))) -> (rule3 % int4)) ((triple9 triple4) -> (rule8 % int5))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple8 ((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) ((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple8 ((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule4 % int3)) ((triple4) -> (rule5 % int5))) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int4))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple6) -> (rule3 % int6)) ((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int4))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((triple6) -> (rule3 % int6)) ((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule4 % int3)) ((triple4) -> (rule5 % int5))) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((((triple9 triple4) -> (rule8 % int6))) -> (rule3 % int5)) triple6) -> (rule4 % int4)) triple9) -> (rule2 % int3)) ((((triple4) -> (rule5 % int2)) triple4) -> (rule8 % int6))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((triple9 triple4) -> (rule8 % int6))) -> (rule3 % int5)) triple6) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int6))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((triple9 triple4) -> (rule8 % int5))) -> (rule3 % int4)) ((triple9 triple4) -> (rule8 % int5))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((((triple9 triple4) -> (rule8 % int6))) -> (rule3 % int5)) ((triple9 triple4) -> (rule8 % int6))) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((triple9 triple4) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple4) -> (rule5 % int4)) triple4) -> (rule8 % int6))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((triple8 ((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule4 % int3)) ((triple4) -> (rule5 % int5))) -> (rule2 % int2)) ((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple6) -> (rule3 % int6)) ((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) ((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((triple6) -> (rule3 % int6)) ((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule4 % int3)) ((triple4) -> (rule5 % int5))) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int4))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((((triple9 triple4) -> (rule8 % int6))) -> (rule3 % int5)) triple6) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple4) -> (rule5 % int3)) triple4) -> (rule8 % int6))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((triple9 triple4) -> (rule8 % int6))) -> (rule3 % int5)) ((triple9 triple4) -> (rule8 % int6))) -> (rule4 % int4)) triple9) -> (rule2 % int3)) ((((triple4) -> (rule5 % int2)) triple4) -> (rule8 % int6))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((triple9 triple4) -> (rule8 % int6))) -> (rule3 % int5)) ((triple9 triple4) -> (rule8 % int6))) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int6))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((triple9 triple4) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple4) -> (rule5 % int4)) triple4) -> (rule8 % int6))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int6))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((triple9 triple4) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple4) -> (rule5 % int4)) triple4) -> (rule8 % int6))) -> (rule4 % int3)) ((triple4) -> (rule5 % int4))) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((triple6) -> (rule3 % int6)) ((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule4 % int3)) ((triple4) -> (rule5 % int5))) -> (rule2 % int2)) ((((triple4) -> (rule5 % int5)) triple4) -> (rule8 % int4))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((((triple9 triple4) -> (rule8 % int6))) -> (rule3 % int5)) ((triple9 triple4) -> (rule8 % int6))) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple4) -> (rule5 % int3)) triple4) -> (rule8 % int6))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((triple9 triple4) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple4) -> (rule5 % int4)) triple4) -> (rule8 % int6))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) ((((triple4) -> (rule5 % int4)) triple4) -> (rule8 % int6))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((triple9 triple4) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple4) -> (rule5 % int4)) triple4) -> (rule8 % int6))) -> (rule4 % int3)) ((triple4) -> (rule5 % int4))) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int6))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((triple9 triple4) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple4) -> (rule5 % int4)) triple4) -> (rule8 % int6))) -> (rule4 % int3)) ((triple4) -> (rule5 % int4))) -> (rule2 % int2)) ((((triple4) -> (rule5 % int4)) triple4) -> (rule8 % int6))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule3 % int4)) triple6) -> (rule4 % int3)) triple9) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule3 % int4)) triple6) -> (rule4 % int3)) triple9) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule3 % int4)) triple6) -> (rule4 % int3)) ((triple4) -> (rule5 % int6))) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule3 % int4)) ((triple9 triple4) -> (rule8 % int5))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule3 % int4)) triple6) -> (rule4 % int3)) triple9) -> (rule2 % int2)) ((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule3 % int4)) triple6) -> (rule4 % int3)) ((triple4) -> (rule5 % int6))) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule3 % int4)) ((triple9 triple4) -> (rule8 % int5))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule3 % int4)) ((triple9 triple4) -> (rule8 % int5))) -> (rule4 % int3)) ((triple4) -> (rule5 % int6))) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule3 % int4)) triple6) -> (rule4 % int3)) ((triple4) -> (rule5 % int6))) -> (rule2 % int2)) ((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule3 % int4)) ((triple9 triple4) -> (rule8 % int5))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) ((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule3 % int4)) ((triple9 triple4) -> (rule8 % int5))) -> (rule4 % int3)) ((triple4) -> (rule5 % int6))) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule4 % int3)) ((triple4) -> (rule5 % int6))) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule3 % int4)) ((triple9 triple4) -> (rule8 % int5))) -> (rule4 % int3)) ((triple4) -> (rule5 % int6))) -> (rule2 % int2)) ((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) ((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule4 % int3)) ((triple4) -> (rule5 % int6))) -> (rule2 % int2)) ((triple9 triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule4 % int3)) ((triple4) -> (rule5 % int6))) -> (rule2 % int2)) ((((triple4) -> (rule5 % int6)) triple4) -> (rule8 % int5))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
Bob is white.
("Bob" "is" "white" "+")
triple8
((triple6) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple9 triple4) -> (rule8 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((((triple4) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
triple9
((triple4) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
((triple12 triple10) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple10) -> (rule5 % int2)) triple10) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
triple12
((triple10) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((triple2 triple3) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple3) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((triple8 triple6) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple8 ((triple9 triple4) -> (rule8 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple6) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple6) -> (rule3 % int3)) ((triple9 triple4) -> (rule8 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((triple8 ((((triple4) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple9 triple4) -> (rule8 % int3))) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple6) -> (rule3 % int4)) ((((triple4) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((triple9 triple4) -> (rule8 % int3))) -> (rule3 % int2)) ((triple9 triple4) -> (rule8 % int3))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple9 triple4) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple4) -> (rule5 % int2)) triple4) -> (rule8 % int4))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple4) -> (rule5 % int4)) triple4) -> (rule8 % int3))) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple4) -> (rule5 % int4)) triple4) -> (rule8 % int3))) -> (rule3 % int2)) ((triple9 triple4) -> (rule8 % int3))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple4) -> (rule5 % int4)) triple4) -> (rule8 % int3))) -> (rule3 % int2)) ((((triple4) -> (rule5 % int4)) triple4) -> (rule8 % int3))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
((triple11) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple12 triple10) -> (rule8 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((((triple11) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((((triple12 triple10) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((((triple11) -> (rule3 % int4)) triple11) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((((triple11) -> (rule3 % int5)) triple11) -> (rule4 % int4)) triple12) -> (rule2 % int3)) ((triple12 triple10) -> (rule8 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple11) -> (rule3 % int5)) triple11) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple11) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple11) -> (rule3 % int6)) triple11) -> (rule4 % int5)) triple12) -> (rule2 % int4)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) triple11) -> (rule4 % int5)) ((triple10) -> (rule5 % int4))) -> (rule2 % int3)) ((triple12 triple10) -> (rule8 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int4))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple11) -> (rule3 % int6)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) triple11) -> (rule4 % int5)) ((triple10) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int4)) triple12) -> (rule2 % int3)) ((((triple10) -> (rule5 % int2)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple11) -> (rule3 % int6)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) triple11) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple11) -> (rule3 % int6)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int4))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int3)) ((triple10) -> (rule5 % int5))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) triple11) -> (rule4 % int4)) triple12) -> (rule2 % int3)) ((((triple10) -> (rule5 % int2)) triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) triple11) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int6))) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int3)) ((triple10) -> (rule5 % int5))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int4))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) triple11) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int6))) -> (rule4 % int4)) triple12) -> (rule2 % int3)) ((((triple10) -> (rule5 % int2)) triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int6))) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule4 % int3)) ((triple10) -> (rule5 % int4))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int3)) ((triple10) -> (rule5 % int5))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int6))) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule4 % int3)) ((triple10) -> (rule5 % int4))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((triple12 triple10) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule4 % int3)) ((triple10) -> (rule5 % int4))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int6))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) ((triple12 triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int6))) -> (rule2 % int2)) ((((triple10) -> (rule5 % int6)) triple10) -> (rule8 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
Gary is round.
("Gary" "is" "round" "+")
((((triple11) -> (rule3 % int2)) triple11) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple11) -> (rule3 % int3)) ((triple12 triple10) -> (rule8 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((((triple12 triple10) -> (rule8 % int3))) -> (rule3 % int2)) triple11) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple11) -> (rule3 % int4)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple12 triple10) -> (rule8 % int3))) -> (rule3 % int2)) ((triple12 triple10) -> (rule8 % int3))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple12 triple10) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule5 % int2)) triple10) -> (rule8 % int4))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int3))) -> (rule3 % int2)) triple11) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int3))) -> (rule3 % int2)) ((triple12 triple10) -> (rule8 % int3))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int3))) -> (rule3 % int2)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int3))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
((((((triple11) -> (rule3 % int3)) triple11) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((((triple11) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple10) -> (rule5 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple11) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int3))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple11) -> (rule3 % int5)) ((triple12 triple10) -> (rule8 % int4))) -> (rule4 % int3)) ((triple10) -> (rule5 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple12 triple10) -> (rule8 % int4))) -> (rule3 % int3)) triple11) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple11) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int3))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple10) -> (rule5 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple12 triple10) -> (rule8 % int4))) -> (rule3 % int3)) ((triple12 triple10) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple11) -> (rule3 % int5)) ((((triple10) -> (rule5 % int4)) triple10) -> (rule8 % int3))) -> (rule4 % int2)) ((triple10) -> (rule5 % int4))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((triple12 triple10) -> (rule8 % int5))) -> (rule4 % int3)) ((triple10) -> (rule5 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int5))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple12 triple10) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule8 % int5))) -> (rule4 % int2)) ((triple10) -> (rule5 % int3))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule3 % int3)) triple11) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule3 % int3)) triple11) -> (rule4 % int2)) ((triple10) -> (rule5 % int5))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule3 % int3)) ((triple12 triple10) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule3 % int3)) ((triple12 triple10) -> (rule8 % int4))) -> (rule4 % int2)) ((triple10) -> (rule5 % int5))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple10) -> (rule5 % int5)) triple10) -> (rule8 % int4))) -> (rule4 % int2)) ((triple10) -> (rule5 % int5))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5